Correct-by-construction multi-component SoC design
conference contribution
posted on 2024-09-09, 05:06 authored by Roopak SinhaRoopak Sinha, PS Roop, Z Salcic, S BasuCorrect-by-construction multi-component SoC design
History
Volume
26Pagination
647-652Location
GERMANY, European Design & Automat Assoc, DresdenPublisher DOI
Start date
2012-03-12End date
2012-03-16ISSN
1530-1591Language
EnglishPublication classification
E1.1 Full written paper - refereedTitle of proceedings
Proceedings -Design, Automation and Test in Europe, DATEEvent
Design, Automation and Test in Europe Conference and Exhibition (DATE)Publisher
IEEESeries
Design Automation and Test in Europe Conference and ExhibitionPublication URL
Usage metrics
Keywords
Licence
Exports
RefWorksRefWorks
BibTeXBibTeX
Ref. managerRef. manager
EndnoteEndnote
DataCiteDataCite
NLMNLM
DCDC