System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction.

Saved in:

Bibliographic Details
Title:	System Verification of Concurrent RTL Modules by Compositional Path Predicate Abstraction.
Authors:	Urdahl, Joakim¹, Stoffel, Dominik¹, Wedler, Markus¹, Kunz, Wolfgang¹
Source:	DAC: Annual ACM/IEEE Design Automation Conference; Jun2012, p334-343, 10p, 9 Diagrams, 1 Chart
Database:	Applied Science & Technology Source

Description
ISSN:	0738100X