%0 Conference Paper %1 conf/iccad/ParthasarathyICB05 %A Parthasarathy, Ganapathy %A Iyer, Madhu K. %A Cheng, Kwang-Ting %A Brewer, Forrest %B ICCAD %D 2005 %I IEEE Computer Society %K dblp %P 297-302 %T RTL SAT simplification by Boolean and interval arithmetic reasoning. %U http://dblp.uni-trier.de/db/conf/iccad/iccad2005.html#ParthasarathyICB05 %@ 0-7803-9254-X

@inproceedings{conf/iccad/ParthasarathyICB05, added-at = {2015-04-30T00:00:00.000+0200}, author = {Parthasarathy, Ganapathy and Iyer, Madhu K. and Cheng, Kwang-Ting and Brewer, Forrest}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/24f80a8b62ee5bb0d800b781dfa3f80b9/dblp}, booktitle = {ICCAD}, crossref = {conf/iccad/2005}, ee = {http://dl.acm.org/citation.cfm?id=1129645}, interhash = {dcc67eb63d7355521d9a588c01952484}, intrahash = {4f80a8b62ee5bb0d800b781dfa3f80b9}, isbn = {0-7803-9254-X}, keywords = {dblp}, pages = {297-302}, publisher = {IEEE Computer Society}, timestamp = {2016-02-02T13:49:19.000+0100}, title = {RTL SAT simplification by Boolean and interval arithmetic reasoning.}, url = {http://dblp.uni-trier.de/db/conf/iccad/iccad2005.html#ParthasarathyICB05}, year = 2005 }