%0 Conference Paper %1 conf/iccd/NakamuraKFT90 %A Nakamura, Hiroshi %A Kukimoto, Yuji %A Fujita, Masahiro %A Tanaka, Hidehiko %B ICCD %D 1990 %I IEEE Computer Society %K dblp %P 99-102 %T Practical design assistance at register transfer level using a data path verifier. %U http://dblp.uni-trier.de/db/conf/iccd/iccd1990.html#NakamuraKFT90 %@ 0-8186-2079-X

@inproceedings{conf/iccd/NakamuraKFT90, added-at = {2023-03-23T00:00:00.000+0100}, author = {Nakamura, Hiroshi and Kukimoto, Yuji and Fujita, Masahiro and Tanaka, Hidehiko}, biburl = {https://www.bibsonomy.org/bibtex/2bccd35935d59466bc2e59a25f08dc196/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/1990}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.1990.130171}, interhash = {b3ec37604bd4440195d133508d9a0232}, intrahash = {bccd35935d59466bc2e59a25f08dc196}, isbn = {0-8186-2079-X}, keywords = {dblp}, pages = {99-102}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:59:33.000+0200}, title = {Practical design assistance at register transfer level using a data path verifier.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1990.html#NakamuraKFT90}, year = 1990 }