A study about the efficiency of formal high-level synthesis applied to verification

José M. Mendías, Román Hermida, Olga Peñalba. A study about the efficiency of formal high-level synthesis applied to verification. Integration, 31(2):101-131, 2002. [doi]

Abstract

Abstract is missing.