Determination of unreachable elements in a design
作者： Vernon Lee
DOI:
关键词:
摘要: A method and apparatus for performing compiler optimizations is described. The determines one or more impossible values a variable in program code based on plurality of the variable. propagates throughout code. identifies set unreachable targets propagated removes objects associated with targets.
lens.org 参考文章(16)
Paul E. Schardt, Matthew R. Tubbs, Robert A. Shearer, Eric O. Mejdrich, Software Trace Collection and Analysis Utilizing Direct Interthread Communication On A Network On Chip ,(2010)
Abelardo Pardo, Jerome Collin, Reily M. Jacoby, Conversion of an HDL sequential truth table to generic HDL elements ,(2000)
Kenneth S Kundert, Methods of model compilation ,(2005)
Allan H. Kielstra, Patrick R. Doyle, Pramod Ramarao, Control flow analysis using deductive reaching definitions ,(2010)
Morten Stribaek, Hartvig W. J. Ekner, Soeren R. F. Laursen, Binary polynomial multiplier ,(2001)
P. Banerjee, M. Haldar, A. Nayak, V. Kim, V. Saxena, S. Parkes, D. Bagchi, S. Pal, N. Tripathi, D. Zaretsky, R. Anderson, J.R. Uribe, Overview of a compiler for synthesizing MATLAB programs onto FPGAs international symposium on low power electronics and design. ,vol. 12, pp. 312- 324 ,(2004) , 10.1109/TVLSI.2004.824301
Juan-Carlos Baraza, JoaquÍn Gracia, Sara Blanc, Daniel Gil, Pedro-J. Gil, Enhancement of Fault Injection Techniques Based on the Modification of VHDL Code IEEE Transactions on Very Large Scale Integration Systems. ,vol. 16, pp. 693- 706 ,(2008) , 10.1109/TVLSI.2008.2000254
Kemal Ebcioglu, Emre Kultursay, Mahmut Taylan Kandemir, Method and system for converting a single-threaded software program into an application-specific supercomputer ,(2012)
Gagan Hasteer, Deepak Goyal, Method of simplifying a circuit for equivalence checking ,(2004)