Skip to content

Correct-by-construction multi-component SoC design.

Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu

VenueADATE
Year2012
ProceedingsDATE

Browse the full DATE paper archive.