Article

Free access

Synthesis and simulation of digital systems containing interacting hardware and software components

Authors:

R. K. Gupta,

C. N. Coelho, Jr.,

G. De MicheliAuthors Info & Claims

DAC '92: Proceedings of the 29th ACM/IEEE Design Automation Conference

Pages 225 - 230

Published: 01 July 1992 Publication History

PDF eReader

References

[1]

G.D. Micl~li, D. C, Ku, F. Mailhot, and T. Truong, "l'h~ Olympus Synthcsls System for Digital Dcslgn," IEEE Design and Test Magazine, pp. 37-53, Oct. 1990.

Digital Library

Google Scholar

[2]

J. Rabaey, H. D. Man, and et. al., "Cathedral II: A Synt~sis System for Multiprocessor DSP Systems", in Silicon Compilation, editor: D. C-ajski, pp. 311-360. Addison Wesley, 1988.

Google Scholar

[3]

D. Thecnas, E. Lagnese, R. Walkra, J. Nestor, J. Rajan, and R. Blackburn, Algorithnu'c and Register-Transfer Level: The System Architect's Workbench. Kluwer Academic Publishers, 1990.

Google Scholar

[4]

R. ~sano and W. Rosemliel, "Synthesizing Circuits from Behavioral Descriptions," IEEE Transactions on CADIICAS, voi. 8, no. 2, pp. 171-180, Feb. 1989.

Digital Library

Google Scholar

[5]

M. B. Srivaslava and R. W. Brodcrson, "Rapid-Prototyping of Hardware and Software in a Unified Framework," in Proceecb'ngs of the International Conference on Computer.Aided Deign, (Santa Clara), pp. 152-155, 1991.

Google Scholar

[6]

D.C. Ku and G. D. Mic.~li, "Synthesis of ASICs with ~~s and I-Iebe", in High-level VLSI Synthcsi.T, editor~: Raul Campceano, Wayne Wolf, pp. 177-203. Kluwer Academic Publiskna-s, 1991.

Google Scholar

[7]

R.K. Gupta and G. D. Michell, *'System-level Synthesis Using Re-progrmmnable C~mpovents'" in Proceech'ngs of th~ European Design Automation Conference, Mar. 1992.

Google Scholar

[8]

G.R. Andrews and F. Schneider, "Concepts and Notations for Concurrent Programming," ACM Computing Surveys, vol. 15, no. 1, pp. 3-44, Mar. 1983.

Digital Library

Google Scholar

[9]

M.E. Conway, "Design of a Separat~ Transltlcea-Diagram Cornl~er," Comm. of the ACM, vol. 6, pp. 396-408, 1963.

Digital Library

Google Scholar

[10]

R.K.C.mlxa and G. D. Micheli, "System Synthesis via Hardware-Software Co-design," CSL Technical Report CSL-TR, Stanford University, 1992.

Digital Library

Google Scholar

[11]

J.L. Hcnncssvy mad D. A. Patterson, ComputerArclu'tecture: A Quantitative Approach, eh. 3. Morgan.Kaufmann, 1990.

Digital Library

Google Scholar

[12]

P.J.H. King, "Decision Tables," The Computer Journal, vol. 10, no. 2, Aug. 1967.

Crossref

Google Scholar

[13]

I.C. Wand and A. J. WeUinss, Distributed Computing, F. B. CAambers et. al. editors, ch. 14: Programming Languages, pp. 201-215. Academic Press, 1984.

Google Scholar

[14]

T. Amon and G. Borriello, "Sizing Sync2trcmi~tion Quc~s: A Case Study in Higher Level Syn~," in Proceedings of the 2~: h Design Automation Conferenca, Jur~ 1991.

Digital Library

Google Scholar

[15]

T.H. Meng, Synchronitation Design for Digital Systems, ell $~sis of 3elf-Ttmed Circuits, pp. 23--63. Kluwer Academic Publisher~, 1991.

Google Scholar

[16]

G. Borfidlo and R. Katz, "Synthesis and Optimizatitm of Interface Transducer Logic," in Proceedings of the IF_EE Transactions on CADIICAS, Nov. 1987.

Google Scholar

[17]

E.W. Dijksta-a, "Guarded C~aaands, Nondel~rminacy, and Formal Derivation of Programs," CACM, voi. 18, no. 8, pp. 453-457, Au8. 1975.

Digital Library

Google Scholar

Cited By

View all

Belson BHoldsworth JXiang WPhilippa B(2019)A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/331961818:3(1-21)Online publication date: 5-Jun-2019
https://dl.acm.org/doi/10.1145/3319618
Lei LCong KYang ZXie FChang Y(2014)Validating direct memory access interfaces with conformance checkingProceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design10.5555/2691365.2691368(9-16)Online publication date: 3-Nov-2014
https://dl.acm.org/doi/10.5555/2691365.2691368
Su ALin Y(2010)Application of ESL synthesis on GSM edge algorithm for base stationProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899890(732-738)Online publication date: 18-Jan-2010
https://dl.acm.org/doi/10.5555/1899721.1899890
Show More Cited By

Index Terms

Synthesis and simulation of digital systems containing interacting hardware and software components

Recommendations

Synthesis and simulation of digital systems containing interacting hardware and software components
Readings in hardware/software co-design

Synthesis of systems containing application-specific as well as re-programmable components, such as off-the-shelf microprocessors, provides a promising approach to realization of complex systems using a minimal amount of application-specific hardware ...
Evaluating simulation software components with player rating systems
SimuTools '13: Proceedings of the 6th International ICST Conference on Simulation Tools and Techniques

In component-based simulation systems, simulation runs are usually executed by combinations of distinct components, each solving a particular sub-task. If multiple components are available for a given sub-task (e.g., different event queue ...
Co-Synthesis of Hardware and Software for Digital Embedded Systems

Comments

Information & Contributors

Information

Published In

DAC '92: Proceedings of the 29th ACM/IEEE Design Automation Conference

July 1992

752 pages

ISBN:089791516X

Chairman:
Daniel G. Schweikert
Cadence Design Systems, Inc., San Jose, CA

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 July 1992

Check for updates

Qualifiers

Article

Conference

DAC92

Sponsor:

EDAC
SIGDA
IEEE-CAS
IEEE-CS

DAC92: The 29th ACM/IEEE-CS Design Automation Conference

June 8 - 12, 1992

California, Anaheim, USA

Acceptance Rates

Overall Acceptance Rate 1,770 of 5,499 submissions, 32%

Upcoming Conference

DAC '25

Sponsor:
sigda

62nd ACM/IEEE Design Automation Conference

June 22 - 26, 2025

San Francisco , CA , USA

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

42
Total Citations
View Citations
554
Total Downloads

Downloads (Last 12 months)132
Downloads (Last 6 weeks)100

Reflects downloads up to 09 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Belson BHoldsworth JXiang WPhilippa B(2019)A Survey of Asynchronous Programming Using Coroutines in the Internet of Things and Embedded SystemsACM Transactions on Embedded Computing Systems10.1145/331961818:3(1-21)Online publication date: 5-Jun-2019
https://dl.acm.org/doi/10.1145/3319618
Lei LCong KYang ZXie FChang Y(2014)Validating direct memory access interfaces with conformance checkingProceedings of the 2014 IEEE/ACM International Conference on Computer-Aided Design10.5555/2691365.2691368(9-16)Online publication date: 3-Nov-2014
https://dl.acm.org/doi/10.5555/2691365.2691368
Su ALin Y(2010)Application of ESL synthesis on GSM edge algorithm for base stationProceedings of the 2010 Asia and South Pacific Design Automation Conference10.5555/1899721.1899890(732-738)Online publication date: 18-Jan-2010
https://dl.acm.org/doi/10.5555/1899721.1899890
Wu JSrikanthan TLei T(2010)Efficient heuristic algorithms for path-based hardware/software partitioningMathematical and Computer Modelling: An International Journal10.1016/j.mcm.2009.08.02951:7-8(974-984)Online publication date: 1-Apr-2010
https://dl.acm.org/doi/10.1016/j.mcm.2009.08.029
Wu JSrikanthan TZou G(2008)New model and algorithm for hardware/software partitioningJournal of Computer Science and Technology10.1007/s11390-008-9160-923:4(644-651)Online publication date: 1-Jul-2008
https://dl.acm.org/doi/10.1007/s11390-008-9160-9
Wu JSrikanthan T(2006)Low-complex dynamic programming algorithm for hardware/software partitioningInformation Processing Letters10.5555/1140603.171123298:2(41-46)Online publication date: 30-Apr-2006
https://dl.acm.org/doi/10.5555/1140603.1711232
Saha G(2005)Software-Based Fault Tolerant ComputingUbiquity10.1145/1103039.11030702005:November(1-1)Online publication date: 1-Nov-2005
https://dl.acm.org/doi/10.1145/1103039.1103070
Ghosh ABershteyn MCasley RChien CJain ALipsie MTarrodaychik DYamamoto O(2001)A hardware-software co-simulator for embedded system design and debuggingReadings in hardware/software co-design10.5555/567003.567054(569-578)Online publication date: 1-Jun-2001
https://dl.acm.org/doi/10.5555/567003.567054
Balboni AFornaciari WSciuto D(2001)Co-synthesis and co-simulation of control-dominated embedded systemsReadings in hardware/software co-design10.5555/567003.567038(395-411)Online publication date: 1-Jun-2001
https://dl.acm.org/doi/10.5555/567003.567038
Daveau JMarchioro GBen-Ismail TJerraya A(2001)Protocol selection and interface generation for HW-SW codesignReadings in hardware/software co-design10.5555/567003.567035(366-374)Online publication date: 1-Jun-2001
https://dl.acm.org/doi/10.5555/567003.567035
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Cited By

Index Terms

Recommendations