Jun Sawada Warren A. Hunt Jr. Hardware Modeling Using Function Encapsulation. 234-245 http://link.springer.de/link/service/series/0558/bibs/1954/19540234.htm 2000 conf/fmcad/2000 FMCAD db/conf/fmcad/fmcad2000.html#SawadaH00