[IEEE 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) - Bangalore, India (2007.01.6-2007.01.10)] 20th International Conference on VLSI Design held jointly with 6th International Conference on Embedded Systems (VLSID'07) - Tutorial T4B: Formal Assertion-Based Verification in Industrial Setting
Tiwari, Praveen, Mitra, Raj, Chopra, Manu, Jain, AlokYear:
2007
Language:
english
DOI:
10.1109/vlsid.2007.169
File:
PDF, 153 KB
english, 2007