Searching for "Model Checking in Industrial Hardware Design." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

Model Checking in Industrial Hardware Design
by Jörg Bormann, Jörg Lohse, Michael Payer, Gerd Venzl — In Proc. of the 32nd Design Automation Conference
…Model Checking in Industrial Hardware Design Jorg Bormann, Jorg Lohse, Michael Payer and Gerd…
Cited by 5 (0 self) – Add To MetaCart

Underapproximation for model-checking based on random cryptographic constructions
by Arie Matsliah, Ofer Strichman — 2007 — Proc. 19 th Intl. Conference on Computer Aided Verification (CAV’07), volume 4590 of Lect. Notes in Comp. Sci
… Experience with model-checking of industrial hardware designs shows that when the model violates a…
Cited by 3 (1 self) – Add To MetaCart

Showing 1 through 2.

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB