Peter Flake Simon J. Davidmann Superlog, a unified design language for system-on-chip. 583-586 2000 conf/aspdac/2000 ASP-DAC http://doi.acm.org/10.1145/368434.368814 db/conf/aspdac/aspdac2000.html#FlakeD00