Component Contract-Based Process for High Level Design.

Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang

Browse the full SNPD paper archive.