DMCA

RTL Verification of Timed Asynchronous and Heterogeneous Systems using Symbolic Model Checking (1997)

by Vida Vakilotojar , Peter A. Beerel
Venue:Proceedings of the Asia and South Pacific Design Automation Conference (ASP-DAC'97
Citations:5 - 1 self