𝔖 Bobbio Scriptorium

✦ LIBER ✦

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Automatic abstraction refinement for Petri nets verification

✍ Scribed by Zhenyu Chen, ; Conghua Zhou, ; Decheng Ding,

Book ID: 126908966
Publisher: IEEE
Year: 2005
Weight: 204 KB
Category: Article
ISBN-13: 9780780395718
DOI: 10.1109/hldvt.2005.1568832

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

[IEEE Tenth IEEE International High-Leve

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Establishing latch correspondence for embedded circuits of PowerPC microprocessors

✍ Anand, H.; Bhadra, J.; Sen, A.; Abadir, M.S.; Davis, K.G. 📂 Article 📅 2005 🏛 IEEE ⚖ 241 KB

[IEEE Tenth IEEE International High-Leve

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - A method for generation of GSTE assertion graphs

✍ Smith, E. 📂 Article 📅 2005 🏛 IEEE ⚖ 259 KB

[IEEE Tenth IEEE International High-Leve

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Cosimulation of ITRON-based embedded software with systemc

✍ Chikada, S.; Honda, S.; Tomiyama, H.; Takada, H. 📂 Article 📅 2005 🏛 IEEE ⚖ 544 KB

[IEEE Tenth IEEE International High-Leve

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - VERISEC: VERIfying equivalence of SEquential Circuits using SAT

✍ Syal, M.; Hsiao, M.S. 📂 Article 📅 2005 🏛 IEEE ⚖ 201 KB

[IEEE Tenth IEEE International High-Leve

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Automated clock inference for stream function-based system level specifications

✍ Talpin, J.-P.; Shukla, S.K. 📂 Article 📅 2005 🏛 IEEE ⚖ 162 KB

[IEEE Tenth IEEE International High-Leve

[IEEE Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - Napa Valley, CA, USA (Nov. 30-Dec. 2, 2005)] Tenth IEEE International High-Level Design Validation and Test Workshop, 2005. - A software test program generator for verifying system-on-chips

✍ Cheng, A.; Cheng-Chew Lim, ; Parashkevov, A. 📂 Article 📅 2005 🏛 IEEE ⚖ 303 KB