This description was written by a machine and published without a person checking it. It is what the agent made of this grouping, and not a statement anybody has stood behind.
Formal Methods in Computer-Aided Design (FMCAD)
A conference, workshop or journal: the thing that recurs, across all its years.
Formal Methods in Computer-Aided Design (FMCAD), since 1996: hardware verification and synthesis. Formed from TPCD and CHARME; the 1996 proceedings are LNCS 1166, later volumes are self-published and open.
5 references
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design (FMCAD 2015)
Unattributed (2015) · FMCAD Inc.
Oscillator Verification with Probability One
Chao Yan and others (2012) · Formal Methods in Computer-Aided Design (FMCAD) · IEEE
Efficient implementation of property directed reachability
Niklas Eén and others (2011) · Formal Methods in Computer-Aided Design (FMCAD) · FMCAD Inc.
Checking Safety Properties Using Induction and a SAT-Solver
Mary Sheeran and others (2000) · Formal Methods in Computer-Aided Design (FMCAD 2000) · Springer Science+Business Media
Formal synthesis in circuit design — A classification and survey
Ramayya Kumar and others (1996) · Formal Methods in Computer-Aided Design (FMCAD) · Springer Berlin Heidelberg