Referenced Items are not available for this document.
The authors' new methodology uses formal models of concurrency to synthesize speed-independent circuit implementations from high-level, abstract behavioral specifications. This methodology offers the advantages of preserving behavioral semantics and better control flow abstraction. It also provides heuristics at a higher level of abstraction to help solve the complete state-coding problem
Published in:
Design & Test of Computers, IEEE
(Volume:12
,
Issue:
1
)
Date of Publication: Spring 1995
- Page(s):
- 32 - 40
- ISSN :
- 0740-7475
- INSPEC Accession Number:
- 4919689
- Digital Object Identifier :
- 10.1109/54.350688
- Product Type:
- Journals & Magazines
- Date of Current Version :
- 06 August 2002
- Issue Date :
- Spring 1995
- Sponsored by :
- IEEE Council on Electronic Design and Automation
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
