[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - Fast state verificationDechang Sun, ; Vinnakota, B.; Wanli Jiang, · 1998

[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - Generic global placement and floorplanningEisenmann, H.; Johannes, F.M. · 1998

[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - Congestion driven quadratic placementParakh, P.N.; Brown, R.B.; Sakallah, K.A. · 1998

[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - Global routing with crosstalk constraintsZhou, H.; Wong, D.F. · 1998

[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - Rate optimal VLSI design from data flow graphMoonwook Oh, ; Soonhoi Ha, · 1998

[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - Tools and methodology for RF IC designDunlop, A.; Demir, A.; Feldmann, P.; Kapur, S.; Long, D.; Melville, R.; Roychowdhury, J. · 1998

[IEEE 1998 Design and Automation Conference. 35th DAC - San Francisco, CA, USA (15-19 June 1998)] Proceedings 1998 Design and Automation Conference. 35th DAC. (Cat. No.98CH36175) - What's between simulation and formal verification?Dill, D.L. · 1998