Synthesis of delay-verifiable combinational circuits
scientific article; zbMATH DE number 1964031