SIGN IN
SIGN UP
Interactive presentation: Automatic hardware synthesis from specifications: a case study
Full Text:
PDF
Buy this Article
Authors:
Roderick Bloem
Graz University of Technology
Stefan Galler
Graz University of Technology
Barbara Jobstmann
Graz University of Technology
Nir Piterman
EPFL Lausanne
Amir Pnueli
Weizmann Institute
Martin Weiglhofer
Graz University of Technology
2007 Article
Bibliometrics
· Downloads (6 Weeks): 1
· Downloads (12 Months): 23
· Downloads (cumulative): 209
· Citation Count: 28
Published in:
· Proceeding
DATE '07
Proceedings of the conference on Design, automation and test in Europe
Pages 1188-1193
EDA Consortium
San Jose, CA
, USA
©2007
table of contents
ISBN: 978-3-9810801-2-4
Tools and Resources
Buy this Article
TOC Service:
Email
RSS
Save to Binder
Export Formats:
BibTeX
EndNote
ACM Ref
Share:
|
Feedback
|
Switch to
single page view
(no tabs)
**Javascript is not enabled and is required for the "tabbed view" or switch to the
single page view
**
Powered by
The ACM Guide to Computing Literature
All Tags
Export Formats
Save to Binder