Publications of Benha University on Google Scholar: Formal verification of VHDL descriptions in Boyer-Moore: first results |
| Title: | Formal verification of VHDL descriptions in Boyer-Moore: first results |
| Authors: | A SALEM |
| Year: | 2012 |
| Keywords: | Not Available |
| Journal/Conference: | VHDL for Simulation, Synthesis and Formal Proofs of Hardware |
| Volume: | 183 |
| Issue: | Not Available |
| Pages: | Not Available |
| Publisher: | VHDL for Simulation, Synthesis and Formal Proofs of Hardware 183, 227 |
| URL on Google: | https://scholar.google.com.eg/citations?view_op=view_citation&hl=en&citation_for_view=QCRKlN4AAAAJ:RGFaLdJalmkC |
| Citations: | Not Available |
| Paper Link: | Not Available |
| Full paper | Not Available |