CHARME-2

AcronymDefinition
CHARME-2Formal Design and Correctness Verification of Synchronous and Asynchronous Digital VLSI Systems