Article

Object oriented hardware synthesis and verification

Authors:

T. Kuhn,

Y. KashaiAuthors Info & Claims

ISSS '01: Proceedings of the 14th international symposium on Systems synthesis

Pages 189 - 194

https://doi.org/10.1145/500001.500043

Published: 30 September 2001 Publication History

Get Access

Abstract

The synthesis of hardware from object oriented specifications is presented. Our approach utilizes the e language that has been proven to be highly efficient for the verification of hardware. The e language is similar to Java and provides additional constructs for specification and verification of hardware. We describe an automated design flow for the synthesis of object oriented descriptions that tightly integrates simulation based verification. The usability of our approach is demonstrated by real-world examples.

References

[1]

S. Swamy, A. Molin, and B. Covnot. OO-VHDL: Object-oriented extensions to VHDL. IEEE Computer, 1995.

Digital Library

Google Scholar

[2]

M. Radetzki, W. Putzke-R~ming, and W. Nebel. Objective VHDL: The object-oriented approach to hardware reuse. In Advances in Information Technologies: The Business Challenge, 1997.

Google Scholar

[3]

www.systemc.org.

Google Scholar

[4]

R. Helaihel and K. Olukotun. Java as a specification language for hardware-software systems. In IEEE/ACM International Conference on Computer-Aided Design, 1997.

Digital Library

Google Scholar

[5]

J. S. Young, J. MacDonald, M. Shilman, P. H. Tabbara, and A. R. Newton. Design and specification of embedded systems in Java using successive formal refinement. In Proceedings of the Design Automation Conference (DAC'1998), 1998.

Digital Library

Google Scholar

[6]

T. Kuhn, W. Rosenstiel, and U. Kebschull. Description and simulation of hardware/software systems with Java. In Proceedings of the Design Automation Conference (DAC'1999), 1999.

Digital Library

Google Scholar

[7]

LavaLogic. Forge-J: Fast Java to Verilog-HDL Compiler. http://www.lavalogic.com, 1999.

Google Scholar

[8]

T. Kuhn and W. Rosenstiel. Java based object oriented hardware specification and synthesis. In Proceedings of ASP-DAC, 2000.

Digital Library

Google Scholar

[9]

R. Wilson and M. Lam. Efficient context sensitive pointer analysis for C programs. In Proceedings of the ACM SIGPLAN Conference on Programming Languages Design and Implementation, 1995.

Digital Library

Google Scholar

[10]

Y. Hollander, M. Morley, and A. Noy. The e language: A fresh separation of concerns. In Proceedings of TOOLS-38, 2001.

Digital Library

Google Scholar

[11]

T. Kuhn, T. Oppold, M. Winterholer, W. Rosenstiel, M. Edwards, and Y. Kashai. A framework for object oriented hardware specification, verification, and synthesis. In Proceedings of the Design Automation Conference (DAC'2001), 2001.

Digital Library

Google Scholar

[12]

J. Madsen and J.P. Brage. Modeling shared variables in VHDL. Transactions on the ACM, 1994.

Google Scholar

[13]

www.cisco.com.

Google Scholar

[14]

C. Schulz-Key, T. Kuhn, and W. Rosenstiel. A framework for system-level partitioning of object-oriented specifications. In Proceedings of the tenth workshop on Synthesis and System Integration of Mixed Technologies (SASIMI'2001), Nara, Japan, 2001.

Google Scholar

Cited By

View all

Ohana ELuca C(2012)RTL modeling and simulation using JAVA2012 13th International Conference on Optimization of Electrical and Electronic Equipment (OPTIM)10.1109/OPTIM.2012.6231833(1253-1258)Online publication date: May-2012
https://doi.org/10.1109/OPTIM.2012.6231833
Pomante LOrailoglu AChou PEles PJantsch A(2004)Exploiting polymorphism in HW designProceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis10.1145/1016720.1016743(81-85)Online publication date: 8-Sep-2004
https://dl.acm.org/doi/10.1145/1016720.1016743
Lachish OZiv A(2004)Object-Oriented High-Level Modeling of an Infiniband to PCI-X BridgeSystem Specification & Design Languages10.1007/0-306-48734-9_20(243-253)Online publication date: 2004
https://doi.org/10.1007/0-306-48734-9_20
Show More Cited By

Index Terms

Object oriented hardware synthesis and verification

Recommendations

A framework for object oriented hardware specification, verification, and synthesis
DAC '01: Proceedings of the 38th annual Design Automation Conference

We describe two things. First, we present a uniform framework for object oriented specification and verification of hardware. For this purpose the object oriented language “e” is introduced along with a powerful run-time environment that enables the ...
Hardware Coprocessor Synthesis from an ANSI C Specification

Editor's note:This article shows how design space exploration can be realized through high-level synthesis. It presents a case study of a hardware implementation of the Advanced Encryption Standard (AES) Rijndael algorithm. Starting from the algorithmic ...
Hand-in-hand verification of high-level synthesis
GLSVLSI '07: Proceedings of the 17th ACM Great Lakes symposium on VLSI

This paper describes a formal verification methodology of high-level synthesis (HLS) process. The abstraction level of the input to HLS is so high compared to thatof the output that the verification has to proceed hand-in-hand with the synthesis ...

Comments

Information & Contributors

Information

Published In

ISSS '01: Proceedings of the 14th international symposium on Systems synthesis

September 2001

290 pages

ISBN:1581134185

DOI:10.1145/500001

General Chair:
Roman Hermida
Complutense Universidad, Madrid, Spain
,
Program Chair:
El Mostapha Aboulhamid
Université de Montréal, Québec, Canada

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 30 September 2001

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

ISSS01

Sponsor:

IEEE
SIGDA

ISSS01: 14th International Symposium on System Synthesis

September 30 - October 3, 2001

P.Q., Montréal, Canada

Acceptance Rates

Overall Acceptance Rate 38 of 71 submissions, 54%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

6
Total Citations
View Citations
388
Total Downloads

Downloads (Last 12 months)1
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Ohana ELuca C(2012)RTL modeling and simulation using JAVA2012 13th International Conference on Optimization of Electrical and Electronic Equipment (OPTIM)10.1109/OPTIM.2012.6231833(1253-1258)Online publication date: May-2012
https://doi.org/10.1109/OPTIM.2012.6231833
Pomante LOrailoglu AChou PEles PJantsch A(2004)Exploiting polymorphism in HW designProceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis10.1145/1016720.1016743(81-85)Online publication date: 8-Sep-2004
https://dl.acm.org/doi/10.1145/1016720.1016743
Lachish OZiv A(2004)Object-Oriented High-Level Modeling of an Infiniband to PCI-X BridgeSystem Specification & Design Languages10.1007/0-306-48734-9_20(243-253)Online publication date: 2004
https://doi.org/10.1007/0-306-48734-9_20
Grimpe EOppenheimer F(2003)Extending the SystemC synthesis subset by object-oriented featuresProceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign & system synthesis - CODES+ISSS '0310.1145/944650.944652(25)Online publication date: 2003
https://doi.org/10.1145/944650.944652
Grimpe EOppenheimer FGupta RNakamura YOrailoglu AChou P(2003)Extending the SystemC synthesis subset by object-oriented featuresProceedings of the 1st IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis10.1145/944645.944652(25-30)Online publication date: 1-Oct-2003
https://dl.acm.org/doi/10.1145/944645.944652
Cote CZilic Z(2002)Automated SystemC to VHDL translation in hardware/software codesign9th International Conference on Electronics, Circuits and Systems10.1109/ICECS.2002.1046269(717-720)Online publication date: 2002
https://doi.org/10.1109/ICECS.2002.1046269

View Options

Get Access

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

A framework for object oriented hardware specification, verification, and synthesis

Hardware Coprocessor Synthesis from an ANSI C Specification

Hand-in-hand verification of high-level synthesis

Comments

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Other Metrics

Article Metrics

Other Metrics

Cited By

Login options

Full Access

PDF

eReader

Abstract

References

Cited By

Index Terms

Recommendations

A framework for object oriented hardware specification, verification, and synthesis

Hardware Coprocessor Synthesis from an ANSI C Specification

Hand-in-hand verification of high-level synthesis

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Acceptance Rates

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Get Access

Login options

Full Access

View options

PDF

eReader

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations