Home›Books›Verification techniques for system-level designVerification techniques for system-level designby Masahiro Fujita, Indradeep Ghosh, Mukul PrasadNo description available.Formal methods (Computer science)TestingVerificationIntegrated circuitsSystems on a chip