Formally Verified, Efficient Tools for High-Level Synthesis and Hardware-Software CodesignChapman, RichardNational Science Foundation (NSF), Directorate for Computer & Information Science & Engineering, Division of Computing and Communication Foundations (ID: 9623604), $281,354USD, 09/15/1996 -- 08/31/2002