Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications

摘要

This special issue of FMSD presents revised versions of four of the papers presented in the conference Formal Methods in Computer-Aided Design, Palo Alto, CA, November 1998. These four papers represent a cross section of current ideas in applied formal methods. The special issue begins with the paper that won the best paper award during FMCAD'98, "The formal design of 1M-gate ASICs" by Asgeir Por Eiriksson. The paper provides a case study of the pivotal role symbolic model-checking can play in formally debugging complex shared memory coherence protocol realizations employed in state of the art multiprocessor machines.