Formalized Hardware Design Process by an Example of Building Energy Efficient Sensor Network for Computational Algorithm - Vizgalov, E. (2007 9th International Conference - The Experience of Designing and Applications of CAD Systems in Microelectronics, 2007)
Keywords: Algorithm design and analysis; architecture; Buildings; Computer architecture; Computer languages; Computer networks; Energy efficiency; energy-efficient; formal system; Hardware; hardware design; Pipelines; Process design; sensor network; Software algorithms