Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95
Latest Publications

TOTAL DOCUMENTS

121

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By ACM Press

0897917251

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Accurate estimation of combinational circuit activity

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217599 ◽

1995 ◽

Cited By ~ 17

Author(s):

Huzefa Mehta ◽

Manjit Borah ◽

Robert Michael Owens ◽

Mary Jane Irwin

Keyword(s):

Accurate Estimation ◽

Combinational Circuit

Download Full-text

Novel verification framework combining structural and OBDD methods in a synthesis environment

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.328705 ◽

1995 ◽

Cited By ~ 23

Author(s):

Subdodh M. Reddy ◽

Wolfgang Kunz ◽

Dhiraj K. Pradhan

Download Full-text

A fresh look at retiming via clock skew optimization

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217547 ◽

1995 ◽

Cited By ~ 19

Author(s):

Rahul B. Deokar ◽

Sachin S. Sapatnekar

Keyword(s):

Clock Skew

Download Full-text

Logic clause analysis for delay optimization

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217608 ◽

1995 ◽

Cited By ~ 12

Author(s):

Berhard Rohfleisch ◽

Bernd Wurth ◽

Kurt Antreich

Keyword(s):

Delay Optimization

Download Full-text

Behavioral synthesis methodology for HDL-based specification and validation

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217543 ◽

1995 ◽

Cited By ~ 16

Author(s):

D. Knapp ◽

T. Ly ◽

D. MacMillen ◽

R. Miller

Keyword(s):

Behavioral Synthesis ◽

Synthesis Methodology

Download Full-text

Rephasing

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217515 ◽

1995 ◽

Cited By ~ 1

Author(s):

Miodrag Potkonjak ◽

Mani Srivastava

Download Full-text

A fast and flexible performance simulator for micro-architecture trade-off analysis on UltraSPARC-I

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217479 ◽

1995 ◽

Cited By ~ 5

Author(s):

Marc Tremblay ◽

Guillermo Maturana ◽

Atsushi Inoue ◽

Les Kohn

Keyword(s):

Trade Off

Download Full-text

A survey of optimization techniques targeting low power VLSI circuits

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217536 ◽

1995 ◽

Cited By ~ 107

Author(s):

Srinivas Devadas ◽

Sharad Malik

Keyword(s):

Low Power ◽

Vlsi Circuits ◽

Optimization Techniques

Download Full-text

Effects of FPGA architecture on FPGA routing

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217592 ◽

1995 ◽

Cited By ~ 9

Author(s):

Stephen Trimberger

Keyword(s):

Fpga Architecture

Download Full-text

Equivalence checking of datapaths based on canonical arithmetic expressions

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95 ◽

10.1145/217474.217585 ◽

1995 ◽

Cited By ~ 7

Author(s):

Zheng Zhou ◽

Wayne Burleson

Keyword(s):

Equivalence Checking ◽

Arithmetic Expressions

Download Full-text

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95Latest Publications

TOTAL DOCUMENTS

H-INDEX

Published By ACM Press

Accurate estimation of combinational circuit activity

Novel verification framework combining structural and OBDD methods in a synthesis environment

A fresh look at retiming via clock skew optimization

Logic clause analysis for delay optimization

Behavioral synthesis methodology for HDL-based specification and validation

Rephasing

A fast and flexible performance simulator for micro-architecture trade-off analysis on UltraSPARC-I

A survey of optimization techniques targeting low power VLSI circuits

Effects of FPGA architecture on FPGA routing

Equivalence checking of datapaths based on canonical arithmetic expressions

Proceedings of the 32nd ACM/IEEE conference on Design automation conference - DAC '95
Latest Publications