Searching for authors named "Fabio Somenzi" – sorted by Relevance.
59 documents found, showing 1 through 10.
Next 10 →
-
Binary Decision Diagrams
- …Binary Decision Diagrams Fabio SOMENZI Department of Electrical and Computer Engineering…
- Cited by 21 (0 self) – Add To MetaCart
-
CUDD: CU Decision Diagram Package Release 2.2.0
- …CUDD: CU Decision Diagram Package Release 2.2.0 Fabio Somenzi Department of Electrical…
- Cited by 181 (0 self) – Add To MetaCart
-
An incremental algorithm to check satisfiability for bounded model checking
- … Checking 1 Abstract HoonSang Jin 2 Fabio Somenzi 3 University of Colorado at Boulder In Bounded Model…
- Cited by 4 (1 self) – Add To MetaCart
-
Decomposing Image Computation for Symbolic Reachability Analysis Using Control Flow Information
- …-59593-389-1/06/0011 ...$5.00. Fabio Somenzi University of Colorado at Boulder step, the result is a symbolic breadth…
- Add To MetaCart
-
Who Are the Variables in Your Neighborhood
- …Who Are the Variables in Your Neighborhood Shipra Panda Fabio Somenzi Dept. of Electrical…
- Cited by 64 (3 self) – Add To MetaCart
-
Proving more properties with bounded model checking
- …Proving More Properties with Bounded Model Checking ⋆ Mohammad Awedh and Fabio Somenzi University…
- Cited by 11 (4 self) – Add To MetaCart
-
Experiments on Flexibilities for Logic and Routing Optimization in FPGAs
- … Fabio Somenzi Department of Electrical and Computer Engineering University of Colorado, Boulder, CO…
- Add To MetaCart
-
Power and Delay Reduction via Simultaneous Logic and Placement Optimization in FPGAs
- … logic blocks to Balakrishna Kumthekar and Fabio Somenzi Dept. of Electrical and Computer Engineering…
- Cited by 3 (0 self) – Add To MetaCart
-
CirCUs: A hybrid satisfiability solver
- …CirCUs: A Hybrid Satisfiability Solver ⋆ HoonSang Jin and Fabio Somenzi University of Colorado…
- Cited by 9 (3 self) – Add To MetaCart
-
Border-Block Triangular Form and Conjunction Schedule in Image Computation
- …Border-Block Triangular Form and Conjunction Schedule in Image Computation ? In-Ho Moon and Fabio…
- Cited by 32 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
