Report copyright - Using Macros to Mimic VHDL - Department of Computer … macros to mimic VHDL in ACL2 Dominique Borrione & Philippe Georgelin TIMA, Grenoble, France ACL2 Workshop Austin, Texas, March
Please pass captcha verification before submit form