Specify-explore-refine (SER): from specification to implementation.

Andreas Gerstlauer, Junyu Peng, Dongwan Shin, Daniel Gajski, Atsushi Nakamura, Dai Araki, Yuuji Nishihara

Browse the full DAC paper archive.