Roderick McConnell, Dominique Lavenier. Prototyping of VLSI components from a formal specification. VLSI Signal Processing, 12(2):177-186, 1996. [doi]
@article{McConnellL96,
title = {Prototyping of VLSI components from a formal specification},
author = {Roderick McConnell and Dominique Lavenier},
year = {1996},
doi = {10.1007/BF00924525},
url = {http://dx.doi.org/10.1007/BF00924525},
researchr = {https://researchr.org/publication/McConnellL96},
cites = {0},
citedby = {0},
journal = {VLSI Signal Processing},
volume = {12},
number = {2},
pages = {177-186},
}