arrow
Return

Assertion-Based Modal Power Estimation

delete2007-12-01
delete1
PRE
AI
S
Sumit Ahuja *
D
Deepak A. Mathaikutty
S
Sandeep K. Shukla
A
Ajit Dingankar
DOI:10.1109/MTV.2007.10delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Embedded Systems are becoming complex day by day and their increasing demand with shorter time-to-market is forcing designers to migrate to Electronic System-Level (ESL). One of the biggest issues with such battery-operated electronics is the power consumption. Facilitating power-aware architectural exploration at ESL requires a fast and accurate system-level power analysis capability. Existing frameworks suffer either in terms of accuracy or from the long turn-around time associated with the lower-level power analysis techniques. In this paper, we propose a power estimation technique for a specific class of design that is modal in nature (operation modes). The technique is illustrated through existing system-level design, verification and power estimation frameworks. The technique discussed in this paper provides an overview on how assertions written for verifying the reachability of modes can be utilized to generate directed test cases, which are given as an input to a power estimation framework.
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

M
MTV: Eighth International Workshop on Microprocessor Test and Verification, Proceedings
IF:
0
Papers:
1
Citations:
0

Organization

I
Intel Corporation
Scholars:
2.7K
Papers: 2.0K
Citations: 6