Java based object oriented hardware specification and synthesis

Authors:
Tommy Kuhn;Wolfgang Rosenstiel
Affiliations:
Computer Engineering, University of Tübingen, 72076 Tübingen, Germany;Computer Engineering, University of Tübingen and FZI, 72076 Tübingen, Germany
Venue:
ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Year:
2000

Citing 2
Cited 3

Java as a specification language for hardware-software systems

ICCAD '97 Proceedings of the 1997 IEEE/ACM international conference on Computer-aided design
Design and specification of embedded systems in Java using successive, formal refinement

DAC '98 Proceedings of the 35th annual Design Automation Conference

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

Proceedings of the 38th annual Design Automation Conference
Object oriented hardware synthesis and verification

Proceedings of the 14th international symposium on Systems synthesis
Exploiting polymorphism in HW design: a case study in the ATM domain

Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis

Quantified Score

Hi-index	0.00

Visualization

Abstract