%0 Conference Paper %1 conf/latw/HernandezSC15 %A Hernandez, Raul Acosta %A Strum, Marius %A Wang, Jiang Chau %B LATS %D 2015 %I IEEE Computer Society %K dblp %P 1-6 %T Transformations on the FSMD of the RTL code with combinational logic statements for equivalence checking of HLS. %U http://dblp.uni-trier.de/db/conf/latw/lats2015.html#HernandezSC15 %@ 978-1-4673-6710-3

@inproceedings{conf/latw/HernandezSC15, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hernandez, Raul Acosta and Strum, Marius and Wang, Jiang Chau}, biburl = {https://www.bibsonomy.org/bibtex/2cbd9ad4d61b8929c4fa1521ef6fcb339/dblp}, booktitle = {LATS}, crossref = {conf/latw/2015}, ee = {https://doi.ieeecomputersociety.org/10.1109/LATW.2015.7102518}, interhash = {1d012e05579a6538521389002afaa795}, intrahash = {cbd9ad4d61b8929c4fa1521ef6fcb339}, isbn = {978-1-4673-6710-3}, keywords = {dblp}, pages = {1-6}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T03:52:06.000+0200}, title = {Transformations on the FSMD of the RTL code with combinational logic statements for equivalence checking of HLS.}, url = {http://dblp.uni-trier.de/db/conf/latw/lats2015.html#HernandezSC15}, year = 2015 }