%0 Conference Paper %1 conf/ecbs/VinhB05 %A Vinh, Phan Cong %A Bowen, Jonathan P. %B ECBS %D 2005 %I IEEE Computer Society %K dblp %P 247-254 %T Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems. %U http://dblp.uni-trier.de/db/conf/ecbs/ecbs2005.html#VinhB05 %@ 0-7695-2308-0

@inproceedings{conf/ecbs/VinhB05, added-at = {2023-03-23T00:00:00.000+0100}, author = {Vinh, Phan Cong and Bowen, Jonathan P.}, biburl = {https://www.bibsonomy.org/bibtex/287519e2b750466fd731ba0c72b51127b/dblp}, booktitle = {ECBS}, crossref = {conf/ecbs/2005}, ee = {https://www.wikidata.org/entity/Q60719258}, interhash = {692cee9cfd1c81dfca85366c51e406a3}, intrahash = {87519e2b750466fd731ba0c72b51127b}, isbn = {0-7695-2308-0}, keywords = {dblp}, pages = {247-254}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T05:10:43.000+0200}, title = {Semantics of RTL and Validation of Synthesized RTL Designs Using Formal Verification in Reconfigurable Computing Systems.}, url = {http://dblp.uni-trier.de/db/conf/ecbs/ecbs2005.html#VinhB05}, year = 2005 }