| Subject | English | Russian |
| math. | in much the same way as in the previous chapter | в основном аналогично тому, как это было в предыдущей главе |
| el. | in previous Chapters, we have pointed out the growing impact of interconnect parasitics on all design metrics of digital integrated circuits | в предыдущих главах мы отмечали растущее влияние паразитных явлений межсоединений на все метрики проектирования дизайна цифровых интегральных схем (см. Digital Integrated Circuits – A Design Perspective 2/e by Jan M. Rabaey, Anantha Chandrakasan, Borivoje Nikolić 2003) |
| lit. | in the previous chapter | в предыдущей главе (Alex_Odeychuk) |
| progr. | in the previous chapter, we assumed that time is discrete. When time is modeled in this manner, possible clock values are nonnegative integers, and events can only occur at integer time values | в предыдущей главе мы предполагали, что время дискретно. в этом случае возможные показания часов задаются неотрицательными целыми числами и события могут происходить только в целочисленные моменты времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| scient. | in the previous chapters | в предыдущих главах |
| progr. | the process system of the previous chapter is repeated in Figure 3.4 | Технологическая система из предыдущей главы повторена на рисунке 3.4 (см. Auslander D.M., Ridgely J.R., Ringgenberg J.D. Control Software for Mechanical Systems. Object-Oriented Design in a Real-Time World) |