1 - 25 of 3
Number of results to display per page
TitleDateType
1 Automatic extraction of behavioral models from simulations of analog/mixed-signal (AMS) circuits2011-05Text
2 Direct equivalence testing of embedded software2011-08Text
3 Symbolic asynchronous hardware protocol verification for compositions with relative timing2010Text
1 - 25 of 3