informИнформатикаInformatics1816-03012617-6963UIIP NASBinform-55Research ArticleИНФОРМАЦИОННЫЕ ТЕХНОЛОГИИINFORMATION TECHNOLOGYПРОЕКТИРОВАНИЕ ЦИФРОВЫХ СИСТЕМ С ПОНИЖЕННЫМ ЭНЕРГОПОТРЕБЛЕНИЕМ С ПРИМЕНЕНИЕМ ТЕХНОЛОГИИ UPF-ОПИСАНИЯ ПОДСИСТЕМЫ ПИТАНИЯDESIGN OF LOW-POWER ELECTRONIC SYSTEMS USING UPF POWER INTENT SPECIFICATION TECHNOLOGYШашковА. С.ShashkovA. S.alexey.shashkov@gmail.comОбъединенный институт проблем информатики НАН БеларусиBelarus2015300920160390104Copyright © Шашков А.С., 20162016Шашков А.С.Shashkov A.S.Данная работа распространяется под лицензией Creative Commons Attribution 4.0.This work is licensed under a Creative Commons Attribution 4.0 License.https://inf.grid.by/jour/article/view/55

В рамках проблемы проектирования энергетически эффективных цифровых систем приводятся различные методы понижения энергопотребления. Обосновывается необходимость дополнительных средств формального поведенческого описания доменной подсистемы питания. Рассматриваются элементы доменной подсистемы питания и этапы проектирования цифровой системы с учетом ее разделения на домены питания. Дается пример описания системы с применением формата UPF.

In this review paper, the problem of the design of energy-efficient electronic systems is considered. Different energy-saving methods are presented. The necessity of additional tools of formal behavioral description of the power subsystem is explained. The elements of the power domain energy subsystem are explained, the design stages for the system with power domains are presented. Unified Power Format (UPF) is presented as a tool to describe power intent in a low- power system. An example system with the UPF-description is presented.

ReferencesA Practical Guide to Low-Power Design. User Experience with CPF [Electronic resource]. –A Practical Guide to Low-Power Design. User Experience with CPF [Electronic resource]. –– Mode of access : http://www.si2.org/events_dir/2009/PowerForward/LowPowerGuide09232009/ pfi_lpg_chapters/lpg_sect1_06052009.pdf. – Date of access : 19.03.2015.– Mode of access : http://www.si2.org/events_dir/2009/PowerForward/LowPowerGuide09232009/ pfi_lpg_chapters/lpg_sect1_06052009.pdf. – Date of access : 19.03.2015.Low Power Methodology Manual: For System-on-Chip Design / D. Flynn [et al.]. – N.Y. : Springer, 2011. – 300 p.Low Power Methodology Manual: For System-on-Chip Design / D. Flynn [et al.]. – N.Y. : Springer, 2011. – 300 p.Chadha, R. An ASIC Low Power Primer: Analysis, Techniques and Specification / R. Chadha, J. Bhasker. – N.Y. : Springer, 2015. – 232 p.4. Rabaey, J. Low Power Design Essentials / J. Rabaey. – N.Y. : Springer, 2009. – 288 p.Chadha, R. An ASIC Low Power Primer: Analysis, Techniques and Specification / R. Chadha, J. Bhasker. – N.Y. : Springer, 2015. – 232 p.4. Rabaey, J. Low Power Design Essentials / J. Rabaey. – N.Y. : Springer, 2009. – 288 p.Рабаи, Ж.М. Цифровые интегральные схемы / Ж.М. Рабаи, А. Чандракасан, Б. Николич. – 2-е изд. – М. : Вильямс, 2007. – 912 с.Рабаи, Ж.М. Цифровые интегральные схемы / Ж.М. Рабаи, А. Чандракасан, Б. Николич. – 2-е изд. – М. : Вильямс, 2007. – 912 с.Power-efficient System Design / P.R. Panda [et al.]. – N.Y. : Springer, 2011. – 253 p.Power-efficient System Design / P.R. Panda [et al.]. – N.Y. : Springer, 2011. – 253 p.IEEE Standard VHDL Language Reference Manual. IEEE 1076 – 2002 [Electronic resource]. – 2002. – Mode of access : http://ieeexplore.ieee.org/servlet/opac?punumber=7863. – Date of access : 19.03.2015.IEEE Standard VHDL Language Reference Manual. IEEE 1076 – 2002 [Electronic resource]. – 2002. – Mode of access : http://ieeexplore.ieee.org/servlet/opac?punumber=7863. – Date of access : 19.03.2015.IEEE Standard for SystemVerilog: Unified Hardware Design, Specification, and Verification Language. IEEE 1800 – 2012 [Electronic resource]. – 2012. – Mode of access : http://standards.ieee. org/findstds/standard/1800-2012.html. – Date of access : 19.03.2015.IEEE Standard for SystemVerilog: Unified Hardware Design, Specification, and Verification Language. IEEE 1800 – 2012 [Electronic resource]. – 2012. – Mode of access : http://standards.ieee. org/findstds/standard/1800-2012.html. – Date of access : 19.03.2015.Low Power Verification Methodology Using UPF / F. Bembaron [et al.] // DVCon 2011 [Electronic resource]. – 2011. – Mode of access : http://2011.dvcon.org/file/11.3_Paper.pdf. – Date of access : 19.03.2015.Low Power Verification Methodology Using UPF / F. Bembaron [et al.] // DVCon 2011 [Electronic resource]. – 2011. – Mode of access : http://2011.dvcon.org/file/11.3_Paper.pdf. – Date of access : 19.03.2015.Marschner, E. Power Aware Verification / E. Marschner, C. Seeley // Mentor Graphics Verification Academy [Electronic resource]. – 2013. – Mode of access : https://verificationacademy. com/courses/power–aware–verification. – Date of access : 19.03.2015.Marschner, E. Power Aware Verification / E. Marschner, C. Seeley // Mentor Graphics Verification Academy [Electronic resource]. – 2013. – Mode of access : https://verificationacademy. com/courses/power–aware–verification. – Date of access : 19.03.2015.Unified Power Format (UPF) Standard. Version 1.0 [Electronic resource]. – 2007. – Mode of access : http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=B47D579C08C9E70D33FF5F2 A9DA15DEC?doi=10.1.1.133.6194&rep=rep1&type=pdf. – Date of access : 19.03.2015.Unified Power Format (UPF) Standard. Version 1.0 [Electronic resource]. – 2007. – Mode of access : http://citeseerx.ist.psu.edu/viewdoc/download;jsessionid=B47D579C08C9E70D33FF5F2 A9DA15DEC?doi=10.1.1.133.6194&rep=rep1&type=pdf. – Date of access : 19.03.2015.IEEE Standard for Design and Verification of Low Power Integrated Circuits: IEEE Std 1801 – 2009 [Electronic resource]. – 2009. – Mode of access : http://ieeexplore.ieee.org/xpl/ mostRecentIssue.jsp?reload=true&punumber=4809843. – Date of access : 19.03.2015.IEEE Standard for Design and Verification of Low Power Integrated Circuits: IEEE Std 1801 – 2009 [Electronic resource]. – 2009. – Mode of access : http://ieeexplore.ieee.org/xpl/ mostRecentIssue.jsp?reload=true&punumber=4809843. – Date of access : 19.03.2015.IEEE Standard for Design and Verification of Low Power Integrated Circuits: IEEE Std 1801 – 2013 [Electronic resource]. – 2013. – Mode of access : http://standards.ieee.org/getieee/1801/ download/1801–2013.pdf. – Date of access : 19.03.2015.IEEE Standard for Design and Verification of Low Power Integrated Circuits: IEEE Std 1801 – 2013 [Electronic resource]. – 2013. – Mode of access : http://standards.ieee.org/getieee/1801/ download/1801–2013.pdf. – Date of access : 19.03.2015.Verification Methodology Manual for Low Power / S. Jadcherla [et al.]. – N. Y. : Springer, 2011. – 226 p.Verification Methodology Manual for Low Power / S. Jadcherla [et al.]. – N. Y. : Springer, 2011. – 226 p.Tcl/Tk Documentation // Tcl Developer Xchange [Electronic resource]. – 2015. – Режим доступа : http://www.tcl.tk/doc/. – Дата доступа : 19.03.2015.Tcl/Tk Documentation // Tcl Developer Xchange [Electronic resource]. – 2015. – Режим доступа : http://www.tcl.tk/doc/. – Дата доступа : 19.03.2015.Si2 Common Power Format (CPF) // Si2 [Electronic resource]. – 2009. – Mode of access : http://www.si2.org/openeda.si2.org/project/showfiles.php?group_id=51. – Date of access : 19.03.2015.Si2 Common Power Format (CPF) // Si2 [Electronic resource]. – 2009. – Mode of access : http://www.si2.org/openeda.si2.org/project/showfiles.php?group_id=51. – Date of access : 19.03.2015.Power Intent Formats: Light at the End of the Tunnel? / S. Dobre [et al.] // EETimes [Electronic resource]. – 2012. – Mode of access : http://www.eetimes.com/document.asp? doc_ id=1279413. – Date of access : 19.03.2015.Power Intent Formats: Light at the End of the Tunnel? / S. Dobre [et al.] // EETimes [Electronic resource]. – 2012. – Mode of access : http://www.eetimes.com/document.asp? doc_ id=1279413. – Date of access : 19.03.2015.Questa Advanced Simulator [Electronic resource]. – 2015. – Mode of access : http://www.mentor.com/products/fv/questa/. – Date of access : 19.03.2015.Questa Advanced Simulator [Electronic resource]. – 2015. – Mode of access : http://www.mentor.com/products/fv/questa/. – Date of access : 19.03.2015.UPF Demo Project [Electronic resource]. – 2015. – Mode of access : https://www.dropbox.com/s/ogty44li1w67pxz/upf_demo.zip?dl=0. – Date of access : 19.03.2015.UPF Demo Project [Electronic resource]. – 2015. – Mode of access : https://www.dropbox.com/s/ogty44li1w67pxz/upf_demo.zip?dl=0. – Date of access : 19.03.2015.Power Aware Simulation User’s Manual. Questa SIM. Software Version 10.2c [Electronic resource]. – 2013. – Mode of access : https://www.dropbox.com/s/r43dfuqkgada6r9/questa_sim_pa. pdf?dl=0. – Date of access : 19.03.2015.Power Aware Simulation User’s Manual. Questa SIM. Software Version 10.2c [Electronic resource]. – 2013. – Mode of access : https://www.dropbox.com/s/r43dfuqkgada6r9/questa_sim_pa. pdf?dl=0. – Date of access : 19.03.2015.

The authors declare that there are no conflicts of interest present.