Collaborated with:K.J.Supowit
Talks about:sequenti (1) variabl (1) diagram (1) circuit (1) verifi (1) method (1) binari (1) order (1) optim (1) decis (1)
Person: Steven J. Friedman
DBLP: Friedman:Steven_J=
Contributed to:
19871986Wrote 2 papers:
- DAC-1987-FriedmanS #diagrams
- Finding the Optimal Variable Ordering for Binary Decision Diagrams (SJF, KJS), pp. 358–356.
- DAC-1986-SupowitF #verification
- A new method for verifying sequential circuits (KJS, SJF), pp. 200–207.