Searching for authors named Fabrizio Ferrandi – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Implicit Test Generation for Behavioral VHDL Models
- …Implicit Test Generation for Behavioral VHDL Models Fabrizio Ferrandi Franco Fummi Donatella…
- Cited by 19 (2 self) – Add To MetaCart
-
Symbolic Functional Vector Generation for VHDL Specifications
- …Symbolic Functional Vector Generation for VHDL Specifications Fabrizio Ferrandi # Franco Fummi z…
- Cited by 7 (2 self) – Add To MetaCart
-
An Efficient Heuristic Approach to Solve the Unate Covering Problem
- …, exploiting the Fabrizio Ferrandi DEI - Politecnico di Milano e-mail:ferrandi@(email omitted); Roberto Wolfler…
- Cited by 1 (0 self) – Add To MetaCart
-
A Testing Methodology for VHDL Based High-Level Designs
- …1 A Testing Methodology for VHDL Based High-Level Designs Giacomo Buonanno, Fabrizio Ferrandi…
- Add To MetaCart
-
Automatic VHDL Restructuring for RTL Synthesis Optimization and Testability Improvement
- … Corvino, Italo Epicoco, Fabrizio Ferrandi, Franco Fummi, Donatella Sciuto Politecnico di Milano…
- Cited by 3 (1 self) – Add To MetaCart
-
BDDBased Testability Estimation of VHDL Designs
- …BDD�Based Testability Estimation of VHDL Designs � Fabrizio Ferrandi � EURO-DAC ’96 with EURO…
- Cited by 3 (3 self) – Add To MetaCart
-
Power Estimation of Behavioral Descriptions
- …Power Estimation of Behavioral Descriptions Fabrizio Ferrandi Franco Fummi Enrico Macii z…
- Cited by 7 (0 self) – Add To MetaCart
-
Power Estimation of Behavioral Descriptions
- …Power Estimation of Behavioral Descriptions Fabrizio Ferrandi Franco Fummi Enrico Macii z…
- Add To MetaCart
-
Functional Verification for SystemC Descriptions Using Constraint Solving
- …Functional Verification for SystemC Descriptions Using Constraint Solving Fabrizio Ferrandi…
- Cited by 11 (0 self) – Add To MetaCart
-
Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques
- …Symbolic Optimization of FSM Networks Based on Sequential ATPG Techniques Fabrizio Ferrandi…
- Cited by 3 (3 self) – Add To MetaCart
Showing 1 through 10.
