Travelled to:2 × USA
Collaborated with:M.J.Ciesielski J.Shen P.J.M.v.Laarhoven E.H.L.Aarts
Talks about:algorithm (1) approach (1) phipla (1) output (1) assign (1) unifi (1) state (1) minim (1) logic (1) input (1)
Person: Marc Davio
DBLP: Davio:Marc
Contributed to:
19911985Wrote 2 papers:
- DAC-1991-CiesielskiSD #approach #automaton #encoding
- A Unified Approach to Input-Output Encoding for FSM State Assignment (MJC, JJS, MD), pp. 176–181.
- DAC-1985-LaarhovenAD #algorithm #logic
- PHIPLA-a new algorithm for logic minimization (PJMvL, EHLA, MD), pp. 739–743.