Symbolic Equivalence Checking for the ELLA Hardware Description Language

Howard Barringer, Graham Gough, Brian Monahan, Alan Williams

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	49-62
Number of pages	14
Journal	Journal of the Brazilian Computer Society
Volume	2
Issue number	2
Publication status	Published - 1995

Cite this

@article{96e9d646a1094245b2f96d8e8eb2c159,

title = "Symbolic Equivalence Checking for the ELLA Hardware Description Language",

author = "Howard Barringer and Graham Gough and Brian Monahan and Alan Williams",

year = "1995",

language = "English",

volume = "2",

pages = "49--62",

journal = "Journal of the Brazilian Computer Society",

issn = "0104-6500",

publisher = "Brazilian Computing Society",

number = "2",

}