Practical approaches to the verification of a telecom megacell using FormalCheck

Authors:
Leila Barakatain;Sofiène Tahar;Jean Lamarche;Jean-Marc Gendreau
Affiliations:
ECE Department, Concordia University, 1455 deMaisonneuve West, Montreal, Quebec, H3G 1M8 Canada;ECE Department, Concordia University, 1455 deMaisonneuve West, Montreal, Quebec, H3G 1M8 Canada;PMC-Sierra Inc., 3333 Boul. Graham, Ville Mont-Royal, Quebec, H3R 3L5 Canada;PMC-Sierra Inc., 3333 Boul. Graham, Ville Mont-Royal, Quebec, H3R 3L5 Canada
Venue:
GLSVLSI '01 Proceedings of the 11th Great Lakes symposium on VLSI
Year:
2001

Conjoining specifications

ACM Transactions on Programming Languages and Systems (TOPLAS)
Formal verification in a commercial setting

DAC '97 Proceedings of the 34th annual Design Automation Conference
What's between simulation and formal verification? (extended abstract)

DAC '98 Proceedings of the 35th annual Design Automation Conference
Formal verification in hardware design: a survey

ACM Transactions on Design Automation of Electronic Systems (TODAES)
Verification of an Implementation of Tomasulo's Algorithm by Compositional Model Checking

CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Model Checking of a Real ATM Switch

ICCD '98 Proceedings of the International Conference on Computer Design

Hi-index	0.00