Verification techniques for system-level design2008
Mukul Prasad, Indradeep Ghosh, Masahiro Fujita, Masahiro Fujita
Details
- First published
- 2008
- OL Work ID
- OL12370312W
Subjects
Formal methods (Computer science)TestingVerificationIntegrated circuitsSystems on a chipCircuits & componentsElectrical engineeringTechnology & EngineeringTechnology & Industrial ArtsScience/MathematicsElectricityElectronics - Circuits - IntegratedElectronics - MicroelectronicsNonfictionTechnology / Engineering / ElectricalFormal methods (Computer science)Integrated circuitsSystems on a chip