[IEEE Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Sonoma Valley, CA, USA (2004.11.10-2004.11.12)] Proceedings. Ninth IEEE International High-Level Design Validation and Test Workshop (IEEE Cat. No.04EX940) - Effects of property ordering in an incremental formal modeling methodology

✍ Scribed by Syed Suhaib, ; Deepak Mathaikutty, ; Sandeep Shukla,

• Book ID: 118174672
• Publisher: IEEE
• Year: 2004
• Weight: 697 KB
• Volume: 0
• Category: Article
• ISBN-13: 9780780387140
• DOI: 10.1109/hldvt.2004.1431245