Deakin University
Browse

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 Basu
Correct-by-construction multi-component SoC design

History

Volume

26

Pagination

647-652

Location

GERMANY, European Design & Automat Assoc, Dresden

Start date

2012-03-12

End date

2012-03-16

ISSN

1530-1591

Language

English

Publication classification

E1.1 Full written paper - refereed

Title of proceedings

Proceedings -Design, Automation and Test in Europe, DATE

Event

Design, Automation and Test in Europe Conference and Exhibition (DATE)

Publisher

IEEE

Series

Design Automation and Test in Europe Conference and Exhibition