Reasoning about VHDL and VHDL-AMS using denotational semantics
Péter Breuer, Natividad Martínez Madrid, Jonathan P. Bowen, R. France, M. Lorrondo Petrie, Carlos Delgado Kloos · 1999
Article Free Access Share on Reasoning about VHDL and VHDL-AMS using denotational semantics Authors: P. T. Breuer Universidad Carlos III de Madrid, Madrid, Spain Universidad Carlos III de Madrid, Madrid, SpainView Profile , N. Martinez Madrid Universidad Carlos III de Madrid, Madrid, Spain Universidad Carlos III de Madrid, Madrid, SpainView Profile , J. P. Bowen Department of Computer Science, University of Reading, UK Department of Computer Science, University of Reading, UKView Profile , R. France Department of Computer Science and Engineering, Florida Atlantic University, Boca Raton, FL Department of Computer Science and Engineering, Florida Atlantic University, Boca Raton, FLView Profile , M. Lorrondo Petrie Department of Computer Science and Engineering, Florida Atlantic University, Boca Raton, FL Department of Computer Science and Engineering, Florida Atlantic University, Boca Raton, FLView Profile , C. Delgado Kloos Universidad Carlos III de Madrid, Madrid, Spain Universidad Carlos III de Madrid, Madrid, SpainView Profile Authors Info & Claims DATE '99: Proceedings of the conference on Design, automation and test in EuropeJanuary 1999 Pages 72–eshttps://doi.org/10.1145/307418.307519Published:01 January 1999Publication History 5citation160DownloadsMetricsTotal Citations5Total Downloads160Last 12 Months7Last 6 weeks1 Get Citation AlertsNew Citation Alert added!This alert has been successfully added and will be sent to:You will be notified whenever a record that you have chosen has been cited.To manage your alert preferences, click on the button below.Manage my AlertsNew Citation Alert!Please log in to your account Save to BinderSave to BinderCreate a New BinderNameCancelCreateExport CitationPublisher SiteeReaderPDF