Results 131 to 140 of about 37,772 (288)

Word level predicate abstraction and refinement for verifying RTL verilog

open access: green, 2005
Himanshu Jain   +3 more
openalex   +2 more sources

Comparison of Verilog‐A compact modelling strategies for spintronic devices [PDF]

open access: bronze, 2014
Kotb Jabeur   +4 more
openalex   +1 more source

Home - About - Disclaimer - Privacy