Subarnarekha Sinha

Publication Activity (10 Years)

Years Active: 1998-2007
Publications (10 Years): 0

Publications

Yu-Shen Yang, Subarnarekha Sinha, Andreas G. Veneris, Robert K. Brayton
Automating Logic Rectification by Approximate SPFDs. ASP-DAC (2007)
Alan Mishchenko, Jin S. Zhang, Subarnarekha Sinha, Jerry R. Burch, Robert K. Brayton, Malgorzata Chrzanowska-Jeske
Using simulation and satisfiability to compute flexibilities in Boolean networks. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 25 (5) (2006)
Sunil P. Khatri, Subarnarekha Sinha, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
SPFD-based wire removal in standard-cell and network-of-PLA circuits. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 23 (7) (2004)
Subarnarekha Sinha, Alan Mishchenko, Robert K. Brayton
Topologically constrained logic synthesis. ICCAD (2002)
Subarnarekha Sinha, Alan Mishchenko, Robert K. Brayton
Topologically Constrained Logic Synthesis. IWLS (2002)
Robert K. Brayton, M. Gao, Jie-Hong Roland Jiang, Yunjian Jiang, Yinghua Li, Alan Mishchenko, Subarnarekha Sinha, Tiziano Villa
Optimization of Multi-Valued Multi-Level Networks. ISMVL (2002)
Subarnarekha Sinha, Andreas Kuehlmann, Robert K. Brayton
Sequential SPFDs. ICCAD (2001)
Subarnarekha Sinha, Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli
Binary and Multi-Valued SPFD-Based Wire Removal in PLA Networks. ICCD (2000)
Subarnarekha Sinha, Robert K. Brayton
Implementation and use of SPFDs in optimizing Boolean networks. ICCAD (1998)