ASPDAC / VLSI 2002 - Tutorial on Functional Verification of SoCs
{"Image DocumentName": "ASPDAC / VLSI Tutorial on Functional Verification of SoCs", "Image ImageDescription": "Formal Specification. (S. Ramesh) ASPDAC / VLSI Tutorial on Functional Verification of SoCs", "Image XResolution": "37", "Image YResolution": "37", "Image ResolutionUnit": "Pixels/Centimeter", "Image Software": "SlidePlayer", "Image YCbCrPositioning": "Centered"}