CHARME-2

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