Searching for authors named "Valeria Bertacco" – sorted by Relevance.
28 documents found, showing 1 through 10.
Next 10 →
-
The Disjunctive decomposition of logic functions
- …The Disjunctive Decomposition of Logic Functions Abstract Valeria Bertacco Computer Systems Lab…
- Cited by 41 (3 self) – Add To MetaCart
-
Boolean function representation using parallel-access diagrams
- …Boolean Function Representation Using Parallel-Access Diagrams. Valeria Bertacco and Maurizio…
- Cited by 2 (1 self) – Add To MetaCart
-
Verification through the principle of least astonishment
- …Verification Through the Principle of Least Astonishment ABSTRACT Beth Isaksen Valeria Bertacco…
- Cited by 1 (0 self) – Add To MetaCart
-
Boolean function representation based on disjoint-support decompositions
- …Boolean Function Representation Based on Disjoint-Support Decompositions. Valeria Bertacco…
- Cited by 2 (1 self) – Add To MetaCart
-
STACCATO: Disjoint Support Decompositions from BDDs through Symbolic Kernels
- … Decomposition of F Stephen Plaza and Valeria Bertacco Advanced Computer Architecture Lab The University…
- Cited by 1 (0 self) – Add To MetaCart
-
Efficient State Representation for Symbolic Simulation
- …Efficient State Representation for Symbolic Simulation ABSTRACT Valeria Bertacco Computer Systems…
- Cited by 3 (0 self) – Add To MetaCart
-
The Disjunctive Decomposition of Logic Functions
- …The Disjunctive Decomposition of Logic Functions Valeria Bertacco Computer Systems Lab. Stanford…
- Add To MetaCart
-
StressTest: An Automatic Approach to Test Generation via Activity Monitors
- … Valeria Bertacco Advanced Computer Architecture Lab The University of Michigan – Ann Arbor, MI {iwagner,valeria…
- Cited by 10 (3 self) – Add To MetaCart
-
Cycle-based Symbolic Simulation of Gate Level Synchronous Circuits
- …Cycle-based Symbolic Simulation of Gate-level Synchronous Circuits Valeria Bertacco + Maurizio…
- Cited by 10 (2 self) – Add To MetaCart
-
Shielding against Design Flaws with Field Repairable Control Logic
- …Shielding Against Design Flaws with Field Repairable Control Logic Ilya Wagner Valeria Bertacco…
- Cited by 8 (2 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
