ACM Portal
  Subscribe (Full Service)    Register (Limited Service, Free)    Login
  Search:   The ACM Digital Library   The Guide
  
ACM Home Page
Please provide us with feedback. Feedback
Min-max linear programming and the timing analysis of digital circuits
Full text PdfPdf (406 KB)
Source International Conference on Computer Aided Design archive
Proceedings of the 1993 IEEE/ACM international conference on Computer-aided design table of contents
Santa Clara, California, United States
Pages: 152 - 155  
Year of Publication: 1993
ISBN:0-8186-4490-7
Authors
Timothy M. Burks  The University of Michigan
Karem A. Sakallah  The University of Michigan
Sponsors
IEEE-CS : Computer Society
SIGDA: ACM Special Interest Group on Design Automation
Publisher
IEEE Computer Society Press  Los Alamitos, CA, USA
Bibliometrics
Downloads (6 Weeks): 21,   Downloads (12 Months): 44,   Citation Count: 7
Additional Information:

references   cited by   collaborative colleagues  

Tools and Actions: Review this Article  

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
1
Kenneth L. McMillan , David L. Dill, Algorithms for Interface Timing Verification, Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, p.48-51, October 11-14, 1992
 
2
L. Lavagno , Alberto L. Sangiovanni-Vincentelli, Linear Programming for Optimum Hazard Elimination in Asynchronous Circuits, Proceedings of the 1991 IEEE International Conference on Computer Design on VLSI in Computer & Processors, p.275-278, October 11-14, 1992
 
3
K.A. SakaUah, T. N. Mudge, and O. A. Olukolun. checkTc and minTc: Timing Verification and Optimal Clocking of Synchronous Digital Circuits. In ICCAD-90 Digest of Technical Papers. 1990.
 
4
Michael R. Garey , David S. Johnson, Computers and Intractability: A Guide to the Theory of NP-Completeness, W. H. Freeman & Co., New York, NY, 1979
 
5
K.G. Murty. Linear Programming. WHey. 1983.
 
6
T.M. Burks and K. A. SakaUah. Min-Max ,Linear Programming. Technical Report. Department of Electrical Engineering and Computer Science. The University of Michigan. Ann Arbor, MI. 1993.
 
7
M. Berkelaar, Ip_solve Documentation and Release Notes. Eindhoven Institute of Technology. Eindhoven, The Netherlands. 1992.
 
8
R.S. Garfinkel and G. L. Nemhauser. Integer Programming. John Wiley & Sons, Inc. 1972.
 
9
W. Orchard-Hays. Advanced Hnear Programming Computing Techniques. McGraw-Hill. 1968.

CITED BY  7
K. Khordoc , E. Cerny, Semantics and verification of action diagrams with linear timing, ACM Transactions on Design Automation of Electronic Systems (TODAES), v.3 n.1, p.21-50, Jan. 1998
Supratik Chakraborty , David L. Dill, Approximate algorithms for time separation of events, Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design, p.190-194, November 09-13, 1997, San Jose, California, United States
Ti-Yen Yen , Wayne Wolf , Al Casavant , Alex Ishii, Efficient algorithms for interface timing verification, Proceedings of the conference on European design automation, p.34-39, September 19-23, 1994, Grenoble, France
P. Vuillod , L. Benini , A. Bogliolo , G. De Micheli, Clock skew optimization for peak current reduction, Proceedings of the 1996 international symposium on Low power electronics and design, p.265-270, August 12-14, 1996, Monterey, California, United States
Ti-Yen Yen , Alex Ishii , Al Casavant , Wayne Wolf, Efficient Algorithms for Interface Timing Verification, Formal Methods in System Design, v.12 n.3, p.241-265, April 1, 1998
Ki-Seok Chung , Rajesh K. Gupta , Taewhan Kim , C. L. Liu, Synthesis and Optimization of Combinational Interface Circuits, Journal of VLSI Signal Processing Systems, v.31 n.3, p.243-261, July 2002
L. Benini , P. Vuillod , A. Bogliolo , G. De Micheli, Clock Skew Optimization for Peak Current Reduction, Journal of VLSI Signal Processing Systems, v.16 n.2-3, p.117-130, June/July 1997
Collaborative Colleagues:
Timothy M. Burks: colleagues
Karem A. Sakallah: colleagues

The ACM Portal is published by the Association for Computing Machinery. Copyright © 2009 ACM, Inc.
Terms of Usage   Privacy Policy   Code of Ethics   Contact Us

Useful downloads: Adobe Acrobat    QuickTime    Windows Media Player    Real Player