Automating Technology Relative Logic Synthesis and Module Selection
Authors: 
D. E. Thomas, G. W. LeiveAuthors Info & Claims
Pages 94 - 105
Abstract
This paper discusses a design aid which translates the data part of a functional level digital design into a logic level design through the specification of module set information. The constraint driven automatic methodology is discussed and results of using the design aid are presented. Predictors are developed to estimate the logic level design space, thus providing early feedback within the design process.
Recommendations
A technology relative Logic Synthesis and Module Selection system
DAC '81: Proceedings of the 18th Design Automation ConferenceThe logic synthesis step of the CMU-DA system selects modules from a database for use in a digital system. This approach to logic synthesis is described. An experiment using volunteer designers was conducted to calibrate the automated system. The ...
Automating coherent logic
LPAR'05: Proceedings of the 12th international conference on Logic for Programming, Artificial Intelligence, and ReasoningFirst-order coherent logic (CL) extends resolution logic in that coherent formulas allow certain existential quantifications. A substantial number of reasoning problems (e.g., in confluence theory, lattice theory and projective geometry) can be ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Copyright © 2006.
Publisher
IEEE Press
Publication History
Published: 01 November 2006
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 16 Nov 2024
Other Metrics
Citations
View Options
View options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in