Travelled to:1 × France
3 × USA
Collaborated with:G.D.Micheli J.C.Yang ∅ V.Bertacco S.Quer
Talks about:circuit (3) base (3) synchron (2) optim (2) logic (2) gate (2) nondeterminist (1) environment (1) constraint (1) represent (1)
Person: Maurizio Damiani
DBLP: Damiani:Maurizio
Contributed to:
1999
199419931992Wrote 5 papers:
- DAC-1999-BertaccoDQ #simulation
- Cycle-Based Symbolic Simulation of Gate-Level Synchronous Circuits (VB, MD, SQ), pp. 391–396.
- EDAC-1994-Damiani #finite #nondeterminism #state machine
- Nondeterministic finite-state machines and sequential don’t cares (MD), pp. 192–198.
- EDAC-1994-YangMD #automaton #constraints #scheduling
- Scheduling with Environmental Constraints based on Automata Representations (JCYY, GDM, MD), pp. 495–501.
- DAC-1993-DamianiYM #logic #optimisation
- Optimization of Combinational Logic Circuits Based on Compatible Gates (MD, JCYY, GDM), pp. 631–636.
- DAC-1992-DamianiM #equation #logic #optimisation
- Recurrence Equations and the Optimization of Synchronous Logic Circuits (MD, GDM), pp. 556–561.