Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Test program
Other
Busybox exercising
program
device driver
Device
Virtual serial driver under
console test
UART Linux 2.6.23 kernel
CPU cores 0 and 1
Ethernet
Virtual
network
MemCtrl Timers
Device model
RAM MPIC
under test
PCI PCIe
Simics
Host computer
Describe
Software to be
Exercised
Constrained Metrics
Randomization
B1 B1 B1
B1
B2
B1 B3
• Automated Constrained
Can the same Random
technology Stimulus
be used for Generation
embedded software?
• Coverage Collection (Functional, Assertion, Code)
• Can
Independent Coverage
it be usedAssertion & Data Checking
by an embedded software verification engineer?
Coverage Scoreboard
Scoreboard
Automated Data
Data Check
Check
Generation
seed
23098432
38u48932
Self
Self Checking
Checking Self
Self Checking
Checking
23432239
17821961 Monitors
Monitors Monitors
Monitors
10932893
20395483
18902904
23843298
23432432
24324322
55252255
09273822
13814791 Stimulus
Stimulus
stimulus
4098e092 stimulus
Linux
Linux
Automated 23432424 Scenarios
Scenarios
Scenarios
24242355 Scenarios
Device
Test Scenario 25262622 BFM
test
BFM
test sw
sw Device
26452454
24524522
Driver
Driver
Set test
Virtual MPC8641D Board
Virtual MPC8641D Board program
MPC8641D SoC parameters
Coverage
Test program
Other
Driven
Busybox exercising Verification
program
device driver
…
Device e
Virtual serial driver under Helper
test Tests
console Observe
UART Linux 2.6.23 kernel
hardware/ Verification
CPU cores 0 and 1 software Planning &
Ethernet interface
Virtual Management
network
MemCtrl Timers
Device model Change
RAM MPIC
under test hardware
PCI PCIe
parameters
vPlan
Simics ISX
Simics
Host computer
Generated
Generatedsequences
sequenceswith
with
random data
random data
Achieved
AchievedCoverage
Coverage
Automated
AutomatedExecution
Executionand
andAnalysis
Analysis
• Coverage
– Ability to measure hardware model parameters
• time_to_result for algorithm completion time to make sure
Linux driver is timing independent
– Ability to cross all of the above and find out, “Did I test short
line length with fast hardware response time?”
On
On virtual
virtual hardware,
hardware,
debugging
debugging isis much
much
easier
easier
Pre-Silicon Post-Silicon
Testing Testing
Production,
System
Manufacture
Integration
start time and duration
Hardware
Development
pes
t y Marketing /
roto
P Feature
Validation
Software
Product Development
Specification System
Test
End User
Documentation
& Translation
Board Bring-up Platform Application
Development Development
True Iterative
Production,
Development
Manufacture
System
Bring-up
Hardware
Development
Marketing /
Feature
Software Validation
Development
Product
Specification System
Test
End User
Documentation
& Translation
• A piece of software
• Running on a regular PC,
server, or workstation
• Functionally identical to a
particular hardware
• Runs the same software as
the physical hardware system
Virtual HW