%0 Conference Paper %1 conf/icassp/LingSH92 %A Ling, Nam %A Shih, Timothy K. %A Huang, Jonathan %B ICASSP %D 1992 %I IEEE Computer Society %K dblp %P 573-576 %T Inductive techniques for formal verification of systolic array designs in DSP applications. %U http://dblp.uni-trier.de/db/conf/icassp/icassp1992.html#LingSH92 %@ 0-7803-0532-9

@inproceedings{conf/icassp/LingSH92, added-at = {2020-06-29T00:00:00.000+0200}, author = {Ling, Nam and Shih, Timothy K. and Huang, Jonathan}, biburl = {https://www.bibsonomy.org/bibtex/20020d014d1a194b3ae8762002f59b90a/dblp}, booktitle = {ICASSP}, crossref = {conf/icassp/1992}, ee = {https://doi.org/10.1109/ICASSP.1992.226555}, interhash = {5998a697c3786b4f898f70ea39bb384e}, intrahash = {0020d014d1a194b3ae8762002f59b90a}, isbn = {0-7803-0532-9}, keywords = {dblp}, pages = {573-576}, publisher = {IEEE Computer Society}, timestamp = {2024-04-09T13:57:15.000+0200}, title = {Inductive techniques for formal verification of systolic array designs in DSP applications.}, url = {http://dblp.uni-trier.de/db/conf/icassp/icassp1992.html#LingSH92}, year = 1992 }