Travelled to:3 × USA
Collaborated with:D.E.Wallace G.D.Adams P.S.Strauss H.Shin A.L.Sangiovanni-Vincentelli
Talks about:time (3) abstract (2) verifi (2) unigrafix (1) dimension (1) consider (1) templat (1) generat (1) compact (1) layout (1)
Person: Carlo H. Séquin
DBLP: S=eacute=quin:Carlo_H=
Contributed to:
1989198819861983Wrote 5 papers:
- DAC-1989-AdamsS #generative #layout
- Template Style Considerations for Sea-of-Gates Layout Generation (GDA, CHS), pp. 31–36.
- DAC-1988-WallaceS #named #verification
- ATV: An Abstract Timing Verifier (DEW, CHS), pp. 154–159.
- DAC-1986-ShinSS #2d
- Two-dimensional compaction by “zone refining” (HS, ALSV, CHS), pp. 115–122.
- DAC-1986-WallaceS #modelling #plugin #verification
- Plug-in timing models for an abstract timing verifier (DEW, CHS), pp. 683–689.
- DAC-1983-SequinS
- UNIGRAFIX (CHS, PSS), pp. 374–381.