Symbolic Elaboration: Checking Generator Properties in Dynamic Hardware Description Languages.

Peitian Pan, Shunning Jiang, Yanghui Ou, Christopher Batten

Browse the full MEMOCODE paper archive.