%0 Conference Paper %1 conf/hldvt/PaulaCFNTFS03 %A de Paula, Flávio Miana %A Jr., Claudionor José Nunes Coelho %A Foster, Harry %A Nacif, José Augusto Miranda %A Tompkins, Joseph %A Fernandes, Antônio Otávio %A da Silva Jr., Diógenes Cecilio %B HLDVT %D 2003 %I IEEE Computer Society %K dblp %P 37-42 %T Refactoring digital hardware designs with assertion libraries. %U http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#PaulaCFNTFS03 %@ 0-7803-8236-6

@inproceedings{conf/hldvt/PaulaCFNTFS03, added-at = {2023-03-23T00:00:00.000+0100}, author = {de Paula, Flávio Miana and Jr., Claudionor José Nunes Coelho and Foster, Harry and Nacif, José Augusto Miranda and Tompkins, Joseph and Fernandes, Antônio Otávio and da Silva Jr., Diógenes Cecilio}, biburl = {https://www.bibsonomy.org/bibtex/2618c0e756deb95786b950ce2aa81888c/dblp}, booktitle = {HLDVT}, crossref = {conf/hldvt/2003}, ee = {https://doi.ieeecomputersociety.org/10.1109/HLDVT.2003.1252472}, interhash = {b6607d92931b971088692e4294d7d767}, intrahash = {618c0e756deb95786b950ce2aa81888c}, isbn = {0-7803-8236-6}, keywords = {dblp}, pages = {37-42}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T18:43:48.000+0200}, title = {Refactoring digital hardware designs with assertion libraries.}, url = {http://dblp.uni-trier.de/db/conf/hldvt/hldvt2003.html#PaulaCFNTFS03}, year = 2003 }