References
- C.M. Lee, C.K. Chen, and R.S. Tsay. "A Basic-block Power Annotation Approach for Fast and Accurate Embedded Software Power Estimation," the International Conference on VLSI, pp. 118-123, Oct. 2013.
- G. Vijin, Oklobdzija, "The Computer Engineering Handbook," CRC Press,Dec. 2001
- H. Choi, "Reduction of the Number of Power States for High-level Power Models based on Clock Gating Signals," Kwangwoon university, Feb. 2015.
- N.F. Ghohroud. Z. Navabi, "Back-annoation of Gate-level Power Properties into System Level Descriptions" ICCC New Circuits and Systems Conference 12th, pp.237-240, Jun. 2014.
- I. Lee, H. Kim, S. Yoo, E. Y. Chung, K. M. Choi, J. K. Kong and S. K.. Eo. "Powervip: Soc power estimation framework at transaction level" In Proc. of South Pacific Design Automation Conference, pp.551-558, 2006.
- N. Bansal, K. Lahiri, A. Raghunathan, "Automatic Power Modeling of Infratructure IP for SystemonChip Power Analysis," 20th International Conference on VLSI Design, pp.513-520, 2007.
- J. Kim, J. Yi, "Case study on the High-Level Power Modeling Based on Clock Gating," 2013 IEIE summer Conference, pp. 1945-1948, Vol. 2013, No. 7, Jul. 2013.
- S. Wimer, I. Koren, I. Cederbaum "Design Flow for Flip-Flop Grouping in Data Driven Clock Gating" IEEE Transactions on VLSI Systems, Vol. 22, pp.771-778, May. 2013.
- R. Fraer, G. Kamhi, and M. K. Mhameed. "A new paradigm for synthesis and propagation of clock gating conditions" In Proc. of Design Automation Conference, pages 658-663, Jun. 2008.
- S.B. Aker,. "Binary decision diagrams," IEEE Transactions on Computers, Vol. C-27, no.6, pp. 509-516, Jun. 1978. https://doi.org/10.1109/TC.1978.1675141
- P.K. Sharma, N.K. Singh, "Improved BDD Compression by Combination of Variable Ordering Techniques" the International Conference on Communications and Signal Processing, pp.3-5, Apr. 2014.
- E. Albert, E. Ruehli, A.L. Sangiovannivincentelli, G. Rabbat, "Time Analysis of Large-Scale Circuits Containing One-Way Macromodels," IEEE Transactions on Circuits and Systems, Vol. 29, pp. 185-190, Mar. 1982. https://doi.org/10.1109/TCS.1982.1085127
- M.T. Kuo, T. Wang, "BDD-based Logic Partitioning for Sequential Circuits" Design Automation Conference, pp.607-612, Jan. 1997.
- Design Complier (http://www.synopsys.com)
- Colorado university decision diagram (CUDD) package (http://www.cs.uleth.ca/-rice/cudd.html)
- Floating Point Unit (opencore.ore/project,fpu)
- UART to Bus (opencore.ore/project,uart)
- H.264/AVC BaselineDecoder (opencore.ore/project,nova)