Formalizing the Incremental Design and Verification Process of a Pipelined Protocol Converter.
Ccile Braunstein, Emmanuelle Encrenaz
VenueCRSP
Year2006
ProceedingsIEEE International Workshop on Rapid System Prototyping
DBLP recordconf/rsp/BraunsteinE06 ↗
Browse the full RSP paper archive.