首页>
外国专利>
Assessing Performance of a Hardware Design Using Formal Evaluation Logic
Assessing Performance of a Hardware Design Using Formal Evaluation Logic
展开▼
机译:使用形式评估逻辑评估硬件设计的性能
展开▼
页面导航
摘要
著录项
相似文献
摘要
A hardware monitor arranged to assess performance of a hardware design for an integrated circuit to complete a task. The hardware monitor includes monitoring and counting logic configured to count a number of cycles between start and completion of the symbolic task in the hardware design; and property evaluation logic configured to evaluate one or more formal properties related to the counted number of cycles to assess the performance of the hardware design in completing the symbolic task. The hardware monitor may be used by a formal verification tool to exhaustively verify that the hardware design meets a desired performance goal and/or to exhaustively identify a performance metric (e.g. best case and/or worst case performance) with respect to completion of the task.
展开▼