DMCA

A symbolic approach for mixed-signal model checking

Cached

Download Links

by Alexander Jesser , Lars Hedrich
Venue:In ASPDAC ’08: Proceedings of the 2008 conference on Asia and South Pacific design automation. IEEE Computer Society Press, Los Alamitos
Citations:3 - 0 self