JP2016502206A - Hierarchical power map for low power design - Google Patents

Hierarchical power map for low power design Download PDF

Info

Publication number
JP2016502206A
JP2016502206A JP2015548066A JP2015548066A JP2016502206A JP 2016502206 A JP2016502206 A JP 2016502206A JP 2015548066 A JP2015548066 A JP 2015548066A JP 2015548066 A JP2015548066 A JP 2015548066A JP 2016502206 A JP2016502206 A JP 2016502206A
Authority
JP
Japan
Prior art keywords
power
domains
map
computer
isolation
Prior art date
Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
Granted
Application number
JP2015548066A
Other languages
Japanese (ja)
Other versions
JP6236589B2 (en
Inventor
シュー、チー−ネン
リン、イ−リャン
フェン、ウェン−チ
Original Assignee
シノプシス タイワン カンパニーリミテッド
シノプシス タイワン カンパニーリミテッド
シノプシス、インコーポレーテッド
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date
Priority claimed from US13/718,979 external-priority patent/US20140013293A1/en
Application filed by シノプシス タイワン カンパニーリミテッド, シノプシス タイワン カンパニーリミテッド, シノプシス、インコーポレーテッド filed Critical シノプシス タイワン カンパニーリミテッド
Publication of JP2016502206A publication Critical patent/JP2016502206A/en
Application granted granted Critical
Publication of JP6236589B2 publication Critical patent/JP6236589B2/en
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2119/00Details relating to the type or aim of the analysis or the optimisation
    • G06F2119/06Power analysis or power optimisation

Landscapes

  • Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Physics & Mathematics (AREA)
  • Theoretical Computer Science (AREA)
  • Evolutionary Computation (AREA)
  • Geometry (AREA)
  • General Engineering & Computer Science (AREA)
  • General Physics & Mathematics (AREA)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

IC設計に関連付けられる電源情報が、電源マップを用いてグラフィカルに、かつ階層的に表示され、これにより、ICの様々な電源ドメインの間の電力の分配、およびそれらの電源ドメイン内の複数の親−子関係を表現するための直観的手法を提供する。各電源ドメインは、その電源ドメインを制御するための電源制御に関連付けられる。各電源ドメインの電源制御のステータスは電源マップ上に表示される。電源マップは、IC設計が複数の異なる動作モード下でデバッグされることを可能にすべく、IC設計の現在の動作モードを設定および表示するためのトークンを含みうる。The power information associated with the IC design is displayed graphically and hierarchically using a power map, thereby distributing power among the various power domains of the IC and the multiple parents within those power domains. -Provide an intuitive way to express child relationships. Each power domain is associated with power control for controlling the power domain. The power control status of each power domain is displayed on the power map. The power map may include a token for setting and displaying the current operating mode of the IC design to allow the IC design to be debugged under a plurality of different operating modes.

Description

[関連出願の相互参照]
本出願は、2010年6月24日に出願された、「Method and system for displaying IC design intent with power domain intent」という発明の名称の、米国特許仮出願第61/358,002号の優先権の利益を主張する、2011年6月13日に出願された、「Hierarchical power map for low power design」という発明の名称の、米国出願第13/158,471号の一部継続である、2012年12月18日に出願された、「Hierarchical power map for low power design」という発明の名称の、米国特許出願第13/718,979号に対する優先権を主張するものであり、それら全ての内容は、参照することによりその全体が本明細書に組み込まれる。
[Cross-reference of related applications]
This application is the priority of US Patent Provisional Application No. 61 / 358,002, filed June 24, 2010, entitled “Method and system for displaying IC design intent with power domain intent”. 12/2012, part of continuation of US application 13 / 158,471, entitled “Hierarchical power map for low power design”, filed June 13, 2011, claiming benefit Claiming priority to US patent application Ser. No. 13 / 718,979, entitled “Hierarchical power map for low power design” filed on Jan. 18, All contents in their entirety by reference are incorporated herein.

本願発明は低電力集積回路(IC)設計をデバックするためのコンピュータ実装方法に関し、特に、IC設計をデバッグし、その電力使用のマップを提供すべく、統合されたグラフィックユーザインターフェースを作成するための方法に関する。   The present invention relates to a computer-implemented method for debugging a low power integrated circuit (IC) design, and more particularly to creating an integrated graphic user interface to debug an IC design and provide a map of its power usage. Regarding the method.

パーソナルモバイルコンピュータ、MP3オーディオプレーヤ、ノートブック、およびデジタルカメラというような、モバイルで消費者向けの複数の電子装置は広く使われている。ますます薄く軽くなる製品における低消費電力化の流れは、IC上での多数のコンポーネントの集積を必要とする。例えば、低電力で、ますます複雑化する複数の機能を実行すべく、システムオンチップ(SoC)IC上により多くの回路が集積されるにつれて、ICはデバッグするのがより困難になる。多くの低電力設計において、回路は電源ドメインと呼ばれる多くの部分に分割され、それらのうちのそれぞれは電源に関連付けられうる。電源ドメインは、同一の配電ネットワーク(電圧)を共有できる、複数のインスタンス、複数のピン、および複数のポートの集まりである。複数の電源ドメインのうちのいくつかは、電源スイッチによってオンまたはオフにされうる。複数の電源スイッチは、電力消費量を保存すべく、設計上の、使用されない複数の部分をオフにすべく用いられる。   A number of mobile and consumer electronic devices are widely used, such as personal mobile computers, MP3 audio players, notebooks, and digital cameras. The trend toward lower power consumption in increasingly thinner and lighter products requires the integration of multiple components on the IC. For example, as more circuitry is integrated on a system-on-chip (SoC) IC to perform increasingly complex functions at low power, the IC becomes more difficult to debug. In many low power designs, the circuit is divided into a number of parts called power domains, each of which can be associated with a power source. A power domain is a collection of instances, pins, and ports that can share the same power distribution network (voltage). Some of the plurality of power domains can be turned on or off by a power switch. The plurality of power switches are used to turn off a plurality of unused parts in the design in order to save power consumption.

アイソレーションセルは、1つはオンに切り替えられ、1つはオフに切り替えられている2つの電源ドメインの間で複数の信号を絶縁すべく用いられる。複数のそのようなセルは、オフに切り替得られている電源ドメインにおいて発生する複数の信号を絶縁すべく用いられる。アイソレーションセルは、電源ドメインがオフにされる場合、その出力が予め定められた、またはラッチされた値を有し、その結果、他の複数のアクティブなドメインが影響を受けないままにすることを確実にする。   Isolation cells are used to isolate multiple signals between two power domains, one switched on and one switched off. A plurality of such cells are used to isolate a plurality of signals generated in a power domain that has been switched off. An isolation cell has its output having a predetermined or latched value when the power domain is turned off, thereby leaving other active domains unaffected Make sure.

レベルシフタは、一般的には、複数の異なる電源ドメインの間で一電圧レベルを別の電圧レベルへと変化させるために必要とされる。それゆえ、低電力SoC ICは、多数のデジタル回路に加えて、多数の電力コンポーネントを有する電力ネットワーク回路を含むことがしばしばある。   A level shifter is generally required to change one voltage level to another voltage level between different power domains. Therefore, low power SoC ICs often include power network circuits having multiple power components in addition to multiple digital circuits.

図1を参照すると、従来のやり方では、デジタル回路設計はVerilogコード1などのように、ハードウェア記述言語(HDL)で実装される。「電源仕様」という用語は、回路設計の電源のインテント(意図される電源のふるまい)の記述として、本明細書において定義される。低電力ネットワークを実装すべく、設計者らが、Verilogコード1を変更することなく別個のファイルにおいて低電力なネットワーク設計を実装することを可能にするよう電源情報を取り込むために、Cadence Common Power Format(CPF)またはUnified Power Format(UPF)などの電源フォーマットで記述される電源記述2が通常用いられる。電源フォーマットは、設計の実装、分析、および検証のための低電力のインテントを記述する。   Referring to FIG. 1, in a conventional manner, digital circuit design is implemented in a hardware description language (HDL), such as Verilog code 1. The term “power supply specification” is defined herein as a description of the power intent (intended power supply behavior) of a circuit design. In order to implement a low power network, Cadence Common Power Format to capture the power information to allow designers to implement a low power network design in a separate file without changing Verilog code 1. A power supply description 2 described in a power supply format such as (CPF) or Unified Power Format (UPF) is usually used. The power format describes a low power intent for design implementation, analysis, and verification.

エネルギー消費量を最小化するよう低電力設計の複数の制約を指定すべく、電力の分配を制御するために電力ネットワークが指定される。UPFを用いて、抽象レベルでネットワークを指定することができる。そのようなネットワークは、複数の供給ポート、複数の供給ネット、複数の電源スイッチを含み、チップの電源側の電気回路ネットワークの高レベルの抽象である。複数の供給ポートは複数の電源ドメインおよび複数の電源スイッチに複数の供給インターフェースを提供し、一方で複数の供給ネットは複数の供給ポートを接続する。供給ネットワークはロジック設計とは別個に指定されるので、ロジック設計仕様は複数の電源ネットワーク仕様とは無関係なままである。   A power network is designated to control power distribution in order to specify multiple constraints of the low power design to minimize energy consumption. Using UPF, a network can be specified at an abstract level. Such a network includes multiple supply ports, multiple supply nets, multiple power switches, and is a high level abstraction of the electrical circuit network on the power supply side of the chip. Multiple supply ports provide multiple supply interfaces to multiple power domains and multiple power switches, while multiple supply nets connect multiple supply ports. Since the supply network is specified separately from the logic design, the logic design specification remains independent of multiple power supply network specifications.

従来のハードウェア記述言語(HDL)は電力設計情報を指定するのに十分ではないので、UPFなどの電源フォーマットは既存のHDLコードを変更することなくフォーマットを提供する。例えば、UPFは、電源ドメインの作成および電源ドメインに関連付けられる複数の設計インスタンスのグループ化のために、create_power_domainというコマンドを提供する。複数の電源スイッチ、複数のアイソレーションセル、および複数のレベルシフタなどの、他の複数の電力コンポーネントは、複数の電源フォーマットによって定義される、対応する複数のコマンドを用いて作成されうる。   Since conventional hardware description language (HDL) is not sufficient to specify power design information, power supply formats such as UPF provide a format without changing existing HDL code. For example, the UPF provides a create_power_domain command for creating a power domain and grouping multiple design instances associated with the power domain. Other multiple power components, such as multiple power switches, multiple isolation cells, and multiple level shifters, can be created using corresponding multiple commands defined by multiple power supply formats.

電源フォーマットに基づくVerilog設計および電力設計が考慮されると、IC設計は分析され、デバックされうる。しかしながら、従来の回路設計のファイルが電力ネットワーク設計と別個である限り、回路をデバッグするには、設計者はこれら2つのファイルの間の関係を確立する必要がある。   Given Verilog design and power design based on the power supply format, the IC design can be analyzed and debugged. However, as long as the conventional circuit design file is separate from the power network design, to debug the circuit, the designer needs to establish a relationship between these two files.

さらに、回路設計者らは、回路設計の複数の機能に集中させられ、設計の機能的および論理的見地に基づいて複数の階層を作成すべく集中させられる。しかしながら、電力設計者らは電力ネットワーク設計内に多数の電源ドメインを有する電源フォーマットによって定められうる物理的形態の複数の設計階層を有する方を好む。結果として、低電力なネットワーク設計がトップレベルに見えず、電力設計者と対話しない場合、設計者らがチップ全体をデバッグすることは、非効率的でありエラーが起こりやすい。複数の低電力回路を設計するためのより効率的で信頼性のある技術に対する必要性が存在しつづける。   In addition, circuit designers are focused on multiple functions of the circuit design and are focused on creating multiple hierarchies based on the functional and logical aspects of the design. However, power designers prefer to have multiple design hierarchies in physical form that can be defined by a power supply format having multiple power domains within a power network design. As a result, if the low power network design does not appear at the top level and does not interact with the power designer, it is inefficient and error prone for designers to debug the entire chip. There continues to be a need for more efficient and reliable techniques for designing multiple low power circuits.

本願発明の複数の実施形態によれば、容易なデバックを可能にすべく、電源マップと呼ばれる電源情報がグラフィックウインドウに表示されて、電源構造、および電力ネットワーク設計と回路設計との間の関係を、複数のユーザが迅速に理解するのを支援する。電源マップは複数の電源ドメイン、複数のアイソレーションセル、複数のレベルシフタ、複数の電源スイッチ、および複数の電源を含む。   According to embodiments of the present invention, power supply information called a power map is displayed in a graphic window to enable easy debugging, and the power structure and the relationship between power network design and circuit design. , Help multiple users to quickly understand. The power map includes a plurality of power domains, a plurality of isolation cells, a plurality of level shifters, a plurality of power switches, and a plurality of power supplies.

本願発明の一実施形態は、電源マップを生成および表示するためのコンピュータ実装方法を提供する。電源マップは、設計者らが低電力なネットワーク設計と、その関連付けられる回路設計とをデバッグすることを可能にすべく、電源フォーマットで定められる低電力の情報に基づく低電力なネットワーク設計をトップレベルで示す、グラフィックウインドウにおける電力の概略図であり、それらの設計において、電源マップは、複数の電源ドメインを表し、回路設計の複数の関連付けられる部分にリンクする、複数の電源ドメインシンボルを備える。   One embodiment of the present invention provides a computer-implemented method for generating and displaying a power map. The power map is a top-level low power network design based on the low power information defined in the power format to allow designers to debug the low power network design and its associated circuit design. And in those designs, the power map comprises a plurality of power domain symbols that represent a plurality of power domains and that are linked to a plurality of associated portions of the circuit design.

本願発明の一実施形態において、以下の複数の段階によって電源マップを生成および表示するための方法を提供する。まず、いくつかのテキストファイルである複数の元の回路設計のHDLコードが、通常、回路設計階層と呼ばれる階層的構造である内部構造に変換され、HDLパーサによって生成される知識データベースに格納されて、知識データベースの複数の元の回路設計階層は、電源仕様によって定められる複数の新たな階層に再グループ化される。複数の新たな階層において、同一の電源ドメインを共有する複数のインスタンスは一緒にグループ化される。その後、複数の電源ドメイン回路設計階層と呼ばれる複数の新たな階層が電源データベースに格納される。最後に、電源マップが電源データベースから作成される。それはまた、複数の電源ドメインを接続するそれらの不適切に処理される複数の信号に対する、電源仕様と回路設計との間の複数の不一致または複数のエラーも表示しうる。   In one embodiment of the present invention, a method is provided for generating and displaying a power map according to the following steps: First, a plurality of original circuit design HDL codes, which are several text files, are converted into an internal structure that is a hierarchical structure, usually called a circuit design hierarchy, and stored in a knowledge database generated by an HDL parser. The multiple original circuit design hierarchies of the knowledge database are regrouped into new hierarchies defined by the power supply specifications. In multiple new hierarchies, multiple instances sharing the same power domain are grouped together. Thereafter, a plurality of new hierarchies called a plurality of power domain circuit design hierarchies are stored in the power supply database. Finally, a power map is created from the power database. It may also indicate multiple discrepancies or multiple errors between power supply specifications and circuit design for those improperly processed signals connecting multiple power domains.

本願発明は、電源マップが、複数の電源ドメインシンボル、複数のアイソレーションセル、複数のレベルシフタセル、および複数の電源スイッチセルなどの複数の低電力シンボルを備えることを開示する。さらに、設計者らにデバック情報を提供すべく、電源マップは、特定のシミュレーション時間における電源マップ中の複数の信号に対するシミュレーション結果の複数の現在値を表示すること、または、電源マップ中の複数の選択される信号を波形ウインドウにドラッグアンドドロップすることによって、シミュレーション期間のシミュレーション結果の複数の波形を波形ウインドウに表示すること、などのシミュレーション結果と併せて用いられる。さらには、電源マップはまた、どの複数のHDL信号がアイソレーション接続およびレベルシフタ接続によって網羅されていないかを検出するための方法論を提供し、電源マップが作成されるときこの機能を自動的に起動する。   The present invention discloses that the power map comprises a plurality of low power symbols such as a plurality of power domain symbols, a plurality of isolation cells, a plurality of level shifter cells, and a plurality of power switch cells. Furthermore, to provide designers with debugging information, the power map can display multiple current values of simulation results for multiple signals in the power map at a particular simulation time, or By dragging and dropping the selected signal to the waveform window, it is used together with the simulation result such as displaying a plurality of waveforms of the simulation result in the simulation period on the waveform window. In addition, the power map also provides a methodology for detecting which multiple HDL signals are not covered by the isolation and level shifter connections and automatically activate this function when the power map is created To do.

グラフィックウインドウ中に表示される電源マップの特徴は、それが複数のユーザと容易に通信および対話すべく、何らかのアクティブアノテーションを提供することである。従って、対話型インターフェースにおいて複数のユーザに、デジタル回路設計と共に電力ネットワークをデバッグさせることは、よりユーザフレンドリである。   A feature of the power map displayed in the graphics window is that it provides some active annotation to facilitate communication and interaction with multiple users. Thus, it is more user-friendly to have multiple users debug the power network along with the digital circuit design in the interactive interface.

本発明の別の目的は、複数の電源ドメインの間の複数の親−子関係を見る直観的手法を提供すべく、グラフィックウインドウにおいて複数の電源ドメインの階層的表現で低電力の情報を表示するための解決法を提供することである。   Another object of the present invention is to display low power information with a hierarchical representation of multiple power domains in a graphic window to provide an intuitive way to view multiple parent-child relationships between multiple power domains. Is to provide a solution for this.

本願発明における一実施形態は、階層的表現で電源マップを生成および表示するための方法を提供する。当該電源マップは、複数の電源ドメインを含み、複数の電源ドメインのそれぞれは、電源ドメインに属する回路設計の一部に関連付けられ、複数の電源ドメインは、複数の電源ドメインの間の複数の境界および複数の親−子関係を示す表現で複数セットの電源ドメインへグループ化される。階層的電源マップを提示すべく、少なくとも1セットの電源ドメインが、親電源ドメインと、その親電源ドメインの内部の少なくとも1つの子電源ドメインと、が存在する、少なくとも2つの電源ドメインを含むことが必要であり、複数の電源ドメインのそれぞれは、電源ドメインを制御するための対応する電源制御に関連付けられ、電源制御のステータスは電源マップ上に表示される。   One embodiment of the present invention provides a method for generating and displaying a power map in a hierarchical representation. The power map includes a plurality of power domains, and each of the plurality of power domains is associated with a part of a circuit design belonging to the power domain, and the plurality of power domains includes a plurality of boundaries between the power domains. Grouped into a plurality of sets of power domains with expressions representing a plurality of parent-child relationships. To present a hierarchical power map, the at least one set of power domains includes at least two power domains in which a parent power domain and at least one child power domain within the parent power domain exist. Each of the plurality of power domains is associated with a corresponding power control for controlling the power domain, and the status of the power control is displayed on the power map.

電源マップの一実施形態は、異なる複数の動作モードを有するIC設計をデバックするために生成され、電源マップはIC設計の現在のモードを設定および表示するためのトークンを備える。現在のモードが新たなモードに変更されると、電源マップの複数の電源ドメインは、低電力の仕様において指定されるように、IC設計の新たなモード下で再描画される。   One embodiment of the power map is generated to debug an IC design having a plurality of different operating modes, the power map comprising a token for setting and displaying the current mode of the IC design. When the current mode is changed to a new mode, the multiple power domains of the power map are redrawn under the new mode of IC design as specified in the low power specification.

本願発明のために実装される詳細な技術および上記好適な実施形態は、当業者がクレームされる発明の複数の特徴をよく理解すべく、添付の複数の図面を伴いながら、以下の複数の段落において説明される。   The detailed technology implemented for the present invention and the preferred embodiments described above are described in the following paragraphs with the accompanying drawings in order to enable those skilled in the art to better understand the features of the claimed invention. Described in.

本発明の、前述の複数の態様および付随する複数の利点の多くは、それらが、添付の複数の図面と併せて、以下の詳細な説明を参照することによってより良く理解されるにつれて、より容易に理解されるようになるであろう。   Many of the foregoing aspects and attendant advantages of the present invention will become easier as they become better understood by reference to the following detailed description, taken in conjunction with the accompanying drawings, in which: Will be understood.

従来の低電力デジタル回路設計の方法論を示す。1 illustrates a conventional low power digital circuit design methodology.

本願発明の一実施形態による、電源マップを作成すべく実行される複数の段階のフローチャートである。4 is a flowchart of multiple steps performed to create a power map, in accordance with one embodiment of the present invention.

本願発明の一実施形態による、元の回路設計階層を再グループ化した後の、電源仕様によって定義される階層的回路設計を示す。Fig. 4 illustrates a hierarchical circuit design defined by a power supply specification after regrouping the original circuit design hierarchy, according to one embodiment of the present invention.

本願発明の一実施形態による、電源マップを示す概略図である。FIG. 3 is a schematic diagram showing a power map according to an embodiment of the present invention.

本願発明の一実施形態による、アイソレーションルールを示す概略図である。FIG. 3 is a schematic diagram illustrating an isolation rule according to an embodiment of the present invention.

本願発明の一実施形態による、レベルシフタルールを示す概略図である。It is the schematic which shows the level shifter rule by one Embodiment of this invention.

本願発明の一実施形態による、電源スイッチルールを示す概略図である。FIG. 3 is a schematic diagram illustrating a power switch rule according to an embodiment of the present invention.

本願発明の一実施形態による、信号値リストウインドウである。4 is a signal value list window according to an embodiment of the present invention.

本願発明の一実施形態による、波形ウインドウである。4 is a waveform window according to an embodiment of the present invention.

本願発明の一実施形態による、電源制御と、複数の電源ドメインの間の複数の親−子関係と、に従って回路設計の複数の電源ドメインをグループ化することによる、電源マップの階層的表現を示す。FIG. 6 illustrates a hierarchical representation of a power map by grouping multiple power domains in a circuit design according to power control and multiple parent-child relationships between multiple power domains, according to one embodiment of the present invention. .

本願発明の一実施形態による、電源マップの階層的表現の作成において実行される複数の段階のフローチャートである。FIG. 6 is a flowchart of multiple steps performed in creating a hierarchical representation of a power map, in accordance with one embodiment of the present invention.

図2は、本願発明の一実施形態による、集積回路(IC)の電源マップを作成するためのフローチャートである。3において、元のテキストベースの回路設計HDLコードは、構文解析されて内部構造に変換され、知識データベースに格納される。HDLパーサによって生成されうる知識データベースは、回路設計の(階層的またはフラットな構造を有しうる)内部のコンピュータ可読データ構造であり、ソフトウェアによって操作または制御されうる。4において、CPFまたはUPFで記述される複数の電力設計は、CPFまたはUPFパーサによって構文解析されて内部構造に変換される。次に、知識データベース中の元の回路設計階層は、多数の電源ドメインを有する電源仕様によって定められる複数の新たな設計階層に再グループ化される。複数の新たな階層において、同一の電源ドメインを共有する複数のインスタンスは一緒にグループ化される。元の設計は階層的またはフラットな設計に限定されないことを理解されたい。元の回路設計がフラットにされて知識データベースに格納される場合、それは複数の電源ドメインに分割されうる。5において、複数の新たな設計階層が電源データベースに格納されて、回路設計および電力設計のコンピュータ可読データ構造である内部構造に変換される。電源データベースはソフトウェアによって操作、制御、または変更されうる。   FIG. 2 is a flowchart for creating a power map of an integrated circuit (IC) according to an embodiment of the present invention. 3, the original text-based circuit design HDL code is parsed, converted to an internal structure, and stored in a knowledge database. A knowledge database that can be generated by an HDL parser is an internal computer readable data structure (which can have a hierarchical or flat structure) of a circuit design and can be manipulated or controlled by software. 4, a plurality of power designs described in CPF or UPF is parsed by CPF or UPF parser and converted into an internal structure. The original circuit design hierarchy in the knowledge database is then regrouped into a plurality of new design hierarchies defined by a power supply specification having multiple power domains. In multiple new hierarchies, multiple instances sharing the same power domain are grouped together. It should be understood that the original design is not limited to a hierarchical or flat design. If the original circuit design is flattened and stored in the knowledge database, it can be divided into multiple power domains. At 5, a plurality of new design hierarchies are stored in the power supply database and converted to an internal structure that is a computer readable data structure for circuit design and power design. The power database can be manipulated, controlled, or modified by software.

6において、電源マップが電源データベースに基づいて作成されて、ユーザフレンドリなGUI(グラフィカルユーザインターフェース)ウインドウによって表示される。電源マップは、以下で詳細に説明されるように、複数の電源ドメインシンボルおよび複数のアイソレーションセルなどの多くのオブジェクトを含みうる。電源マップ中の電源ドメインが、例えば、ユーザがクリックすることによって、ユーザフレンドリなGUIウインドウ中で起動される場合、電源ドメインに関連付けられる回路設計が起動される。それゆえ、電力ネットワーク設計および関連するHDLコードを有するチップ全体のデバックは、従来の複数の技術に比べてより効率的かつより簡単である。   At 6, a power map is created based on the power database and displayed by a user friendly GUI (Graphical User Interface) window. The power map may include a number of objects such as multiple power domain symbols and multiple isolation cells, as described in detail below. When a power domain in the power map is activated in a user-friendly GUI window, for example, when the user clicks, the circuit design associated with the power domain is activated. Therefore, whole-chip debugging with power network design and associated HDL code is more efficient and simpler than conventional technologies.

7において、複数の電源ドメインを接続する不適切に処理された複数の信号に対する、電源仕様と回路設計との間の複数の不一致または複数のエラーを特定すべく、静的チェックが実行されうる。8において示されるように、そのような複数の不一致または複数のエラーは、複数の点線、複数のシンボル、または複数の色付きのハイライトなどの複数のアノテーションによって複数のユーザに示されうる。   At 7, static checks can be performed to identify multiple discrepancies or errors between power supply specifications and circuit design for improperly processed signals connecting multiple power domains. As shown at 8, such mismatches or errors may be indicated to multiple users by multiple annotations, such as multiple dotted lines, multiple symbols, or multiple colored highlights.

図3を参照すると、枠9は電源マップを示しており、電源マップにおいて、HDLの元の回路設計階層11は、電源仕様によって定められ、多数の電源ドメインを有する新たな階層10に再グループ化される。各電源ドメインは同一の電源ドメインを共有する、回路設計からの多数のインスタンスを含む。元の設計階層11は、3つのインスタンス、PD_制御_1、PD_制御_2、PD_制御_3を備えるモジュール電源_制御を含む多数のインスタンスを含むトップレベルを有する。電源マップにおいて再グループ化を行った後、PM_トップと呼ばれるトップレベルが作成される。インスタンスPD_制御_1は、電源ドメインPD1に関連付けられ、電源ドメインPD1下に配置され、インスタンスPD_制御_2は、電源ドメインPD2に関連付けられ、電源ドメインPD2下に配置され、インスタンスPD_制御_3は、電源ドメインPD3に関連付けられ、電源ドメインPD3下に配置される。   Referring to FIG. 3, frame 9 shows a power map, in which the HDL original circuit design hierarchy 11 is defined by the power specifications and regrouped into a new hierarchy 10 having multiple power domains. Is done. Each power domain includes multiple instances from the circuit design that share the same power domain. The original design hierarchy 11 has a top level that includes multiple instances including module power supply_control with three instances, PD_control_1, PD_control_2, and PD_control_3. After regrouping in the power map, a top level called PM_Top is created. The instance PD_control_1 is associated with the power domain PD1 and disposed under the power domain PD1, the instance PD_control_2 is associated with the power domain PD2 and disposed under the power domain PD2, and the instance PD_control_3 is associated with the power domain It is associated with PD3 and placed under power domain PD3.

複数の新たな階層が、多数の電源ドメインを有する電源仕様によって定められた後、それらは、回路設計および電力ネットワーク設計の情報を統合する内部のコンピュータ可読データ構造である電源データベースに格納されうる。電源データベースはソフトウェアによって操作または制御されうる。   After multiple new hierarchies are defined by a power specification with multiple power domains, they can be stored in a power database, which is an internal computer readable data structure that integrates circuit design and power network design information. The power database can be manipulated or controlled by software.

電源データベースが生成された後、図4Aにおいて示されるように、電源マップは電力ネットワーク設計を表示すべく用いられうる。電源マップ12は、複数のグランド19bに接続される多数の電源ドメインシンボル13、14および15、少なくとも1つのアイソレーションセル16、少なくとも1つのレベルシフタセル17、少なくとも1つの電源スイッチセル18、および少なくとも1つの電源19a、を含むように示される。   After the power database is generated, the power map can be used to display the power network design, as shown in FIG. 4A. The power map 12 includes a number of power domain symbols 13, 14, and 15, connected to a plurality of grounds 19b, at least one isolation cell 16, at least one level shifter cell 17, at least one power switch cell 18, and at least one. Two power supplies 19a are shown to be included.

アイソレーションコマンドを表わすアイソレーションセル16は、複数の電源ドメインとの接続のための多数のアイソレーションネット20と、アイソレーション状態表現を提示するためのアイソレーション状態ネット21を含む。アイソレーションセル16は、アイソレーションセル16の左上に配置されるトリガステータスシンボルを表示するように示される。関連付けられる状態の値が「1」の場合、トリガステータスは成功であり、トリガステータスシンボルは上矢印22aを表示し、そうでなければ、トリガステータスシンボルは下矢印22bを表示する。   The isolation cell 16 representing an isolation command includes a number of isolation nets 20 for connection to a plurality of power supply domains and an isolation state net 21 for presenting an isolation state expression. The isolation cell 16 is shown to display a trigger status symbol located at the upper left of the isolation cell 16. If the associated state value is “1”, the trigger status is successful, the trigger status symbol displays the up arrow 22a, otherwise the trigger status symbol displays the down arrow 22b.

レベルシフタコマンドを表わすレベルシフタセル17は、複数の電源ドメインと接続すべく多数のレベルシフタネット23を含みうる。   A level shifter cell 17 representing a level shifter command may include a number of level shifter nets 23 for connection to a plurality of power supply domains.

電源スイッチを表わす電源スイッチセル18は、電源19aと、または1または複数の電源ドメインと、または他の複数の電源スイッチセルと、の接続のための多数の電源スイッチネット24を含みうる。さらに、電源スイッチセル18はまた、状態ピン26も含む。ユーザがアクティブアノテーションをオンにする場合、状態値25が状態ピン26上にアノテートされる。アクティブアノテーションは電源マップとの対話および容易な通信を提供する。アクティブアノテーションは「アクティブアノテーションメカニズム」によってオンにされうる。例えば、それは、状態ピン26上に状態値25をアノテートすべく、ハイライト表示されるアイコンまたはシンボルをクリックすることによって、またはマウスのボタンを用いてアイテムを選択することによってオンにされうる。   A power switch cell 18 representing a power switch may include a number of power switch nets 24 for connection to a power source 19a, or one or more power domains, or other power switch cells. In addition, the power switch cell 18 also includes a status pin 26. When the user turns on active annotation, state value 25 is annotated on state pin 26. Active annotation provides interaction with the power map and easy communication. Active annotation can be turned on by an “active annotation mechanism”. For example, it can be turned on by clicking on the highlighted icon or symbol to annotate the state value 25 on the state pin 26, or by selecting an item using a mouse button.

さらに、一実施形態において、電源マップは、適切なアイソレーションのない信号を表示すべく、「iso」27のマークを有する赤色の点線、および、レベルシフタのない信号を表示すべく「lvs」28のマークを有する赤色の点線を使用する。   In addition, in one embodiment, the power map shows a red dotted line with a mark of “iso” 27 to display a signal without proper isolation, and a “lvs” 28 to display a signal without a level shifter. Use a red dotted line with a mark.

電源マップにおいて用いられる各電力コンポーネントに対する複数のルールは以下のようなものである。
アイソレーションルール(CPF/UPF)。
The rules for each power component used in the power map are as follows.
Isolation rules (CPF / UPF).

図4Bを参照すると、電源マップは電源仕様でアイソレーションコマンドを表わすアイソレーションセル16を使用する。アイソレーションセル16は、アイソレーション状態表現を提示すべくアイソレーション状態ネット21を含む。アイソレーションセル16は、アイソレーションセルの左上にアイソレーショントリガステータスシンボルを表示する。関連付けられる状態の値が「1」の場合、トリガステータスは成功であり、トリガステータスシンボルは上矢印を表示し、そうでなければ、トリガステータスは下矢印22bを表示する。
レベルシフタルール(CPF/UPF)。
Referring to FIG. 4B, the power map uses isolation cells 16 that represent isolation commands in the power specifications. The isolation cell 16 includes an isolation state net 21 to present an isolation state representation. The isolation cell 16 displays an isolation trigger status symbol on the upper left of the isolation cell. If the associated state value is “1”, the trigger status is successful and the trigger status symbol displays an up arrow, otherwise the trigger status displays a down arrow 22b.
Level shifter rule (CPF / UPF).

図4Cを参照すると、電源マップは、レベルシフタコマンドを表わすべくレベルシフタセル17を使用する。
電源スイッチ(CPF/UPF)。
図4Dを参照すると、電源マップは、電源スイッチを表わすべく電源スイッチセル18を使用し、これにより、ユーザがアクティブアノテーションをオンにする(電源スイッチセル18をクリックするなどによって)場合、状態ピン26上に電源スイッチ状態値25を示す。
網羅されない接続。
Referring to FIG. 4C, the power map uses level shifter cells 17 to represent level shifter commands.
Power switch (CPF / UPF).
Referring to FIG. 4D, the power map uses the power switch cell 18 to represent the power switch, so that if the user turns on the active annotation (such as by clicking on the power switch cell 18), the status pin 26 The power switch state value 25 is shown above.
Connections not covered.

複数の電源ドメインと接続するが、電源仕様で複数のアイソレーションルールおよび/またはレベルシフタルールによって指定されない信号接続は、網羅されない接続と呼ばれる。図4Aを参照すると、電源マップ12は、どの複数のHDL信号が複数の複数のアイソレーションルールまたは複数のレベルシフタルールによって適切に網羅されないかを検出するための方法論を提供し、これにより、電源マップ12が作成されるときこの機能を自動的に起動する。一実施形態において、電源マップ12は、適切なアイソレーションのない信号を表示すべく、「iso」27のマークを有する赤色の点線、および、レベルシフタのない信号を表示すべく「lvs」28のマークを有する赤色の点線を使用する。   Signal connections that connect to multiple power domains but are not specified by multiple isolation rules and / or level shifter rules in the power specification are called non-exhaustive connections. Referring to FIG. 4A, power map 12 provides a methodology for detecting which multiple HDL signals are not properly covered by multiple isolation rules or multiple level shifter rules, thereby providing a power map. This function is automatically activated when 12 is created. In one embodiment, the power map 12 displays a red dotted line with an “iso” 27 mark to display a signal without proper isolation, and an “lvs” 28 mark to display a signal without a level shifter. Use a red dotted line with

電源マップが生成された後、電源仕様と回路設計との間の複数の不一致または複数のエラーを検出すべく静的チェックが実行され、ユーザにどこでそのような複数の不一致または複数のエラーが起こっているのかを知らせることができる。複数の不一致または複数のエラーの起こり方は多数ありうる。例えば、アイソレーション/レベルシフタのセル接続において接続が間違っていることがあり、電源スイッチに接続される電源制御信号において制御信号が失われる、または一致しないことがあり、複数のアイソレーションセルが、複数の不一致、または失われた複数の制御信号に起因して無駄になることがあり、または、複数の電源ドメインに接続する複数のネットに対する失われたアイソレーションセルおよび/またはレベルシフタセルに起因する不適切に網羅される複数のアイソレーション接続、または不適切に網羅されるレベルシフタ接続があることがある。さらに、複数のHDL信号を有する2つの電源ドメイン間にアイソレーション接続およびレベルシフタ接続の両方があることを確実にすべく、電源マップは、設計者らに警告を与えるために、それらの間に複数の仮想ネット(本明細書において代替的に複数の仮想電源ルールネットと呼ばれる)を作成できる。例えば、2つの電源ドメインがそれらの間にアイソレーション接続および/またはレベルシフタ接続を有さない場合、電源マップはそれらの間に仮想レベルシフタ電源ルールネット、および/または仮想アイソレーション電源ルールネットを作成する。2つの仮想電源ルールネットのそれぞれの過密な複数の信号は、全て2つの電源ドメイン間のHDL信号である。   After the power map is generated, static checks are performed to detect multiple mismatches or multiple errors between the power supply specification and the circuit design, where the user encounters such multiple mismatches or multiple errors. You can tell if you are. There can be many ways for multiple mismatches or multiple errors to occur. For example, the connection may be wrong in the cell connection of the isolation / level shifter, and the control signal may be lost or mismatched in the power control signal connected to the power switch. Mismatch, or lost control signals, or wasted due to lost isolation cells and / or level shifter cells for multiple nets connected to multiple power domains There may be multiple isolation connections that are properly covered, or level shifter connections that are inappropriately covered. In addition, to ensure that there are both isolation connections and level shifter connections between two power domains with multiple HDL signals, the power map has a multiple between them to alert the designers. Virtual nets (alternatively referred to herein as a plurality of virtual power rule nets). For example, if two power domains do not have an isolation connection and / or level shifter connection between them, the power map creates a virtual level shifter power rule net and / or a virtual isolation power rule net between them . Each of the plurality of overcrowded signals of the two virtual power rule nets is an HDL signal between the two power domains.

図4Aを参照すると、各電源ドメインシンボルは、電源ドメインに関連付けられる回路設計の一部にリンクすべく起動されうる。一実施形態において、ユーザが電源ドメインシンボル13を、それをクリックすることによって起動する場合、その電源ドメインに関連付けられる回路設計の一部は、電力ネットワーク設計および元のHDLコードを含むチップ全体をデバッグすべく、ユーザが回路設計を見ることを可能にするように起動されうる。   Referring to FIG. 4A, each power domain symbol can be activated to link to a portion of the circuit design associated with the power domain. In one embodiment, when the user activates the power domain symbol 13 by clicking on it, the portion of the circuit design associated with that power domain debugs the entire chip including the power network design and the original HDL code. Thus, it can be activated to allow the user to view the circuit design.

電源マップはさらに、任意のシミュレーション時間における複数のシミュレートされる信号の複数の現在値を表示すべく適合される。一実施形態において、電源マップは、デバックをより容易にすべく、図5において示すように、信号値リストウインドウ29を含む。ユーザが、ハイライト表示されるアイコンまたはシンボルをクリックする、または、マウスを用いてアイテムを選択する、などにより、アクティブアノテーションをオンにする場合、信号値リストウインドウ29は、その特定のシミュレーション時間について、電源マップ中の対応する複数のシミュレートされる信号の複数の値を表示する。さらに、一実施形態において、図6において示されるように、波形ウインドウ30を用いる電源マップは、ユーザが電源マップ中の複数の選択される信号をドラッグアンドドロップする場合、複数のシミュレーション波形(任意のシミュレーション期間の)を表示する。例えば、ユーザがアイソレーションセルをドラッグし、波形ウインドウ30にそれをドロップすると、そのアイソレーションレベルを接続する―および複数の変数(VB)と見做される―複数のネットが波形ウインドウ30に自動的に追加され、その結果、図6において示されるように、シミュレーション期間のそれらの波形の表示を自動的にもたらす。同様に、電力コンポーネント(例えば、電源ドメイン、PD)の複数の信号の波形もまた、波形ウインドウ30に表示されうる。更に別の実施形態において、ユーザが波形ウインドウ30中のカーソルをあるシミュレーション時間に移動させる場合、電源マップ中の複数のネットは、その特定の時間におけるそれらの関連付けられる信号の値がアノテートされる。それゆえ、本願発明の複数の実施形態によれば、電力ネットワークおよびデジタル回路設計のデバックのプロセスは、従来の複数の技術に比べてより容易に、より効率的に成される。   The power map is further adapted to display a plurality of current values of a plurality of simulated signals at any simulation time. In one embodiment, the power map includes a signal value list window 29, as shown in FIG. 5, to make debugging easier. When the user turns on active annotation, such as by clicking on a highlighted icon or symbol, or selecting an item with the mouse, the signal value list window 29 is for that particular simulation time. Display a plurality of values of a corresponding plurality of simulated signals in the power map. Further, in one embodiment, as shown in FIG. 6, the power map using the waveform window 30 can include a plurality of simulation waveforms (arbitrary) when the user drags and drops a plurality of selected signals in the power map. Display the simulation period). For example, if a user drags an isolation cell and drops it on the waveform window 30, that isolation level is connected—and multiple variables (VBs) —multiple nets automatically in the waveform window 30. As a result, automatically resulting in the display of those waveforms during the simulation period, as shown in FIG. Similarly, waveforms of multiple signals of a power component (eg, power domain, PD) can also be displayed in the waveform window 30. In yet another embodiment, when the user moves the cursor in the waveform window 30 to a simulation time, multiple nets in the power map are annotated with their associated signal values at that particular time. Therefore, according to embodiments of the present invention, the process of debugging power network and digital circuit design is made easier and more efficient than conventional techniques.

図7は、回路設計の複数の電源ドメインが、電源ドメインの複数の境界、ならびに複数の電源ドメイン内の複数の親−子関係の表現を含む仕様に従ってグループ化される階層的電源マップを示す。各電源マップは、その電源ドメインを制御するための電源制御に関連付けられる。図7から分かるように、PD_TOP700と称される電源マップのトップレベルは、3セットの親電源ドメイン、すなわち、PD_CPU710、PD_FSM721、およびPD_RAM731を含むように示されている。電源ドメインPD_CPU710は、3つの子電源ドメイン、すなわち、PD_ALUB711、PD_PCU712、およびPD_CCU713を、親電源ドメインPD_CPU700を表わす長方形の内部に含むように示されている。PD_ALUB711内に、一電源ドメインPD_alu714が示されており、それは、親電源ドメインPD_ALUB711と、子電源ドメインPD_alu714との間の親−子関係があることを示している。図7は3つのレベルの階層の電源マップを示しているが、電源マップの階層はより多くのレベルを含みうることを理解されたい。トップレベルの階層はまた、第2の電源ドメインセットPD_FSM721、および第3の電源ドメインセットPD_RAM731を含むように示されている。電源ドメインPD_FSM721、またはPD_RAM731内には、子電源ドメインは示されていない。階層的電源マップを提示すべく、少なくとも1セットの電源ドメインは、少なくとも2つの電源ドメイン、すなわち、親電源ドメインと、その親電源ドメインの内部の少なくとも1つの子電源ドメインと、を含む。複数の電源ドメインのそれぞれは、その電源ドメインを制御するための対応する電源制御に関連付けられる。電源制御のステータスは電源マップに表示される。親電源ドメインの電源制御は、その子電源ドメインも同様に制御すべく用いられうる。例えば、一実施形態において、親電源ドメインの電源がオフにされると、その親電源ドメインの内部の複数の子ドメインの全ては同様にオフにされる。しかしながら、親電源ドメインの電源がオンにされる場合、複数の子電源ドメインのそれぞれは自動的にオンにされうるか、または、必要ならば、その子電源ドメインに関連付けられる追加的なローカル電源制御を受けてよい。   FIG. 7 shows a hierarchical power map in which multiple power domains of a circuit design are grouped according to a specification that includes multiple boundaries of the power domains, as well as representations of multiple parent-child relationships within the multiple power domains. Each power map is associated with a power control for controlling that power domain. As can be seen from FIG. 7, the top level of the power map called PD_TOP 700 is shown to include three sets of parent power domains: PD_CPU 710, PD_FSM 721, and PD_RAM 731. The power domain PD_CPU 710 is shown to include three child power domains, namely PD_ALUB 711, PD_PCU 712, and PD_CCU 713, inside the rectangle representing the parent power domain PD_CPU 700. One power domain PD_alu 714 is shown in PD_ALUB 711, indicating that there is a parent-child relationship between the parent power domain PD_ALUB 711 and the child power domain PD_alu 714. Although FIG. 7 shows a power map of a three level hierarchy, it should be understood that the hierarchy of the power map may include more levels. The top level hierarchy is also shown to include a second power domain set PD_FSM 721 and a third power domain set PD_RAM 731. The child power domain is not shown in the power domain PD_FSM 721 or the PD_RAM 731. To present a hierarchical power map, the at least one set of power domains includes at least two power domains: a parent power domain and at least one child power domain within the parent power domain. Each of the plurality of power domains is associated with a corresponding power control for controlling the power domain. The power control status is displayed on the power map. Power control of the parent power domain can be used to control its child power domains as well. For example, in one embodiment, when a parent power domain is powered off, all of the child domains within the parent power domain are similarly turned off. However, when the parent power domain is powered on, each of the multiple child power domains can be automatically turned on or, if necessary, subject to additional local power control associated with that child power domain. It's okay.

第1のセットの電源ドメインPD_CPU710の第1の電源制御のステータス701は、第1の長方形の形状に沿って表示される。例えば、第1の電源制御PD_CPUのステータス701は、第1のセットの電源ドメインが1.2Vの電圧レベルでONであることを示している。同様に、電源ドメインPD_ALUB711、PD_PCU712、PD_CCU713、PD_FSM721、およびPD_RAM731の電源制御のステータスは、それぞれ702、704、703、705、および706として表示される。別の例において、電源ドメインPD_FSM721の電源制御のステータス705は、PD_FSM721の電源がONからOFFに変更されることを示している。電源ドメインPD_RAM731の電源制御706のステータスは、PD_RAM731の電源が0.8Vの電圧レベルでONであることを示している。回路のデバッグを支援すべく、静的チェックはまた、複数の電源ドメインを接続する不適切に処理された複数の信号に対する、電源仕様と回路設計との間の複数の不一致または複数のエラーを特定するために実行されうる。図7において示されるように、そのような複数の不一致または複数のエラーは、複数の点線、複数のシンボル、または複数の色付きのハイライトなどの1または複数のアノテーションによって複数のユーザに示されうる。アイソレーションセルまたはレベルシフタセルを有さない、複数の電源ドメインの間、または複数の電源ドメインの階層的ブロックの間、の複数の接続である、電源ドメインPD_CPU710とPD_FSM721との間の接続731、電源ドメインPD_ALUB711とPD_FSM721との間の接続732、電源ドメインPD_alu714とPD_CCU713との間の接続734、および電源ドメインPD_PCU712とPD_CCU713との間の接続733などは、複数の点線でハイライト表示されうる。   The status 701 of the first power control of the first set of power domain PD_CPU 710 is displayed along the shape of the first rectangle. For example, the status 701 of the first power supply control PD_CPU indicates that the power domain of the first set is ON at a voltage level of 1.2V. Similarly, the power control statuses of the power domains PD_ALUB 711, PD_PCU 712, PD_CCU 713, PD_FSM 721, and PD_RAM 731 are displayed as 702, 704, 703, 705, and 706, respectively. In another example, the power control status 705 of the power domain PD_FSM 721 indicates that the power of the PD_FSM 721 is changed from ON to OFF. The status of the power control 706 of the power domain PD_RAM 731 indicates that the power of the PD_RAM 731 is ON at a voltage level of 0.8V. To aid in circuit debugging, static checks also identify multiple discrepancies or multiple errors between power specifications and circuit design for improperly processed signals that connect multiple power domains. Can be executed to As shown in FIG. 7, such mismatches or errors may be indicated to multiple users by one or more annotations such as dotted lines, symbols, or colored highlights. . Connection 731 between power domain PD_CPU 710 and PD_FSM 721, which is a plurality of connections between power domains or between hierarchical blocks of power domains without an isolation cell or level shifter cell, power supply A connection 732 between the domain PD_ALUB 711 and the PD_FSM 721, a connection 734 between the power domain PD_alu 714 and the PD_CCU 713, a connection 733 between the power domain PD_PCU 712 and the PD_CCU 713, and the like can be highlighted with a plurality of dotted lines.

アイソレーションセル754は、電源ドメインPD_ALUB711をPD_FSM721に接続し、論理「ハイ」のクランプ値を有するように示されている。同様に、アイソレーションセル755は、電源ドメインPD_alu714をPD_FSM721に接続し、論理「ハイ」のクランプ値を有するように示されている。アイソレーションセル756は、電源ドメインPD_ALUB711をPD_RAM731に接続するように示されている。しかしながら、アイソレーションセル756のクランプ値は定められず、電源マップに示されていない。同様、アイソレーションセル751、752および753のクランプ値は定められず、図7に示されていない。それゆえ、複数の電源ドメイン間の複数の状態または複数のエラーが、IC設計のデバックを支援すべく階層的電源マップにおいて見られうる。   Isolation cell 754 is shown as connecting power domain PD_ALUB 711 to PD_FSM 721 and having a logic “high” clamp value. Similarly, isolation cell 755 is shown connecting power domain PD_alu 714 to PD_FSM 721 and having a logic “high” clamp value. Isolation cell 756 is shown to connect power domain PD_ALUB 711 to PD_RAM 731. However, the clamp value of the isolation cell 756 is not defined and is not shown in the power map. Similarly, clamp values for isolation cells 751, 752 and 753 are not defined and are not shown in FIG. Therefore, multiple states or multiple errors between multiple power domains can be seen in the hierarchical power map to assist in debugging IC designs.

複数の動作モードを有する複数の回路について、全ての動作モードをただ1つの電源マップに併合することで、表示が複雑になり、デバックが困難になりうることを避けるべく、各動作モードはそれ自身の電源マップを有しうる。結果として、各モードにつき、対応する階層的電源マップが独立して生成され表示されうる。例えば、図7において示されるように、現在の動作モードは電源マップのトップレベル上にmode_1 708として表示される。   For multiple circuits with multiple modes of operation, each mode of operation is its own to avoid complex display and difficult debugging by merging all modes of operation into a single power map. Can have a power map. As a result, a corresponding hierarchical power map can be generated and displayed independently for each mode. For example, as shown in FIG. 7, the current mode of operation is displayed as mode_1 708 on the top level of the power map.

一実施形態において、本願発明による、電源マップを作成するためのコンピュータ実装方法は以下のようになる。図8に示されるように、760において、複数の元のテキストベースの回路設計HDLコードが構文解析されて内部構造に変換され、知識データベースに格納される。HDLパーサによって生成されうる知識データベースは、回路設計の内部のコンピュータ可読データ構造であり、ソフトウェアによって容易に操作または制御されうる。知識データベースは概して階層的だが、フラットな構造を有してよい。761において、CPFまたはUPFで記述される複数の電力設計は、CPFまたはUPFパーサによって構文解析されて内部構造に変換される。その後、知識データベース中の元の回路設計階層は、多数の電源ドメインを有する、電源仕様によって定められる複数の電源ドメイン階層に再グループ化される。762において、複数の電源ドメイン階層が電源データベースに格納され、回路設計および電力設計のコンピュータ可読データ構造であり、かつソフトウェアによって制御されうる内部構造に変換される。763において、電源マップが電源データベースの電源ドメイン階層に従って作成され、GUIウインドウにおいて表示される。電源マップは、多数の電源ドメインを含み、それらのうちのそれぞれは、回路の一部に関連付けられる。電源マップは、複数の電源ドメインの間の複数の境界および複数の親−子関係を示す第1の表現を含み、複数の電源ドメインのうち少なくとも1つは少なくとも1つの子電源ドメインを含む。各電源ドメインは、電源ドメインを制御するための電源制御を有し、電源制御のステータスは電源マップ上に表示される。親電源ドメインの電源制御は、その子電源ドメインも同様に制御すべく用いられうる。例えば、一実施形態において、親電源ドメインの電源がオフにされると、親電源ドメインの内部の複数の子ドメインの全ては同様にオフにされうる。しかしながら、親電源ドメインの電源がオンにされる場合、複数の子電源ドメインのそれぞれは自動的にオンにされうるか、または、必要ならば、その子電源ドメインに関連付けられる追加的なローカル電源制御を受けるようにされうる。   In one embodiment, a computer-implemented method for creating a power map according to the present invention is as follows. As shown in FIG. 8, at 760, a plurality of original text-based circuit design HDL codes are parsed and converted into internal structures and stored in a knowledge database. A knowledge database that can be generated by an HDL parser is a computer readable data structure within a circuit design that can be easily manipulated or controlled by software. A knowledge database is generally hierarchical, but may have a flat structure. At 761, a plurality of power designs described in CPF or UPF are parsed and converted to internal structure by a CPF or UPF parser. Thereafter, the original circuit design hierarchy in the knowledge database is regrouped into a plurality of power domain hierarchies defined by the power supply specifications having a number of power domains. At 762, a plurality of power domain hierarchies are stored in a power database and converted to an internal structure that is a computer readable data structure for circuit design and power design and can be controlled by software. At 763, a power map is created according to the power domain hierarchy of the power database and displayed in the GUI window. The power map includes a number of power domains, each of which is associated with a portion of the circuit. The power map includes a first representation that indicates a plurality of boundaries and a plurality of parent-child relationships between the plurality of power domains, wherein at least one of the plurality of power domains includes at least one child power domain. Each power domain has power control for controlling the power domain, and the status of power control is displayed on the power map. Power control of the parent power domain can be used to control its child power domains as well. For example, in one embodiment, when the parent power domain is powered off, all of the child domains within the parent power domain can be similarly turned off. However, when the parent power domain is powered on, each of the multiple child power domains can be automatically turned on or, if necessary, subject to additional local power control associated with that child power domain. Can be done.

764において、複数の電源ドメインを接続する不適切に処理された複数の信号に対する、電源仕様と回路設計との間の複数の不一致または複数のエラーを検出すべく、静的チェックが実行されうる。765において示されるように、複数の不一致または複数のエラーは、複数の点線、複数のシンボル、または複数の色付きのハイライトなどの1または複数のアノテーションによって複数のユーザに表示されうる。   At 764, a static check can be performed to detect multiple discrepancies or multiple errors between the power specification and the circuit design for improperly processed signals connecting multiple power domains. As shown at 765, multiple inconsistencies or multiple errors may be displayed to multiple users by one or more annotations such as multiple dotted lines, multiple symbols, or multiple colored highlights.

本願発明の上記複数の実施形態は例示的なものであり、限定的なものではない。本開示を考慮すると、他の複数の追加、削除または変更が明らかであり、添付の特許請求の範囲内に含まれることが意図される。   The above embodiments of the present invention are illustrative and not limiting. Numerous other additions, deletions or modifications are apparent in light of the present disclosure and are intended to be included within the scope of the appended claims.

本願発明の上記複数の実施形態は例示的なものであり、限定的なものではない。本開示を考慮すると、他の複数の追加、削除または変更が明らかであり、添付の特許請求の範囲内に含まれることが意図される。
(項目1)
電源仕様フォーマットで記述される、回路設計の上記電源側を、上記電源仕様と上記回路設計とを統合する電源マップを表示することによってデバックするためのコンピュータ実装方法であり、上記方法は、
上記回路設計をデバッグすべく上記コンピュータが起動されるとき、上記回路設計から知識データベースを生成する段階と、
上記電源仕様および上記知識データベースに従って電源データベースを生成する段階と、
上記コンピュータを用いて上記電源データベースに従って上記電源マップを生成および表示する段階であり、上記電源マップは、それぞれが上記回路設計の異なる部分に関連付けられる複数の電源ドメインを含む段階と、
上記複数の電源ドメインを接続する複数の信号に対する、上記電源仕様と上記回路設計との間の複数の不一致または複数のエラーをチェックおよび表示する段階と、を備え、
上記電源マップは、上記複数の電源ドメインの間の複数の境界および複数の親−子関係を示す第1の表現を含み、上記複数の電源ドメインのうち少なくとも1つは、少なくとも1つの子電源ドメインを含み、上記複数の電源ドメインのうち少なくとも1つは、上記電源ドメインを制御するための電源制御に関連付けられ、上記電源制御のステータスは、上記電源マップ上に表示される
コンピュータ実装方法。
(項目2)
上記複数の電源ドメインの少なくとも1つのサブセットは、関連付けられる親電源ドメイン、および関連付けられる子電源ドメインを有する
請求項1に記載のコンピュータ実装方法。
(項目3)
上記チェックおよび表示する段階は、
少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、上記少なくとも2つの電源ドメインの間に1つもアイソレーション接続がない場合、上記少なくとも2つの電源ドメインの間に仮想アイソレーション接続ネットを表示する段階と、
上記少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、上記少なくとも2つの電源ドメインの間に1つもレベルシフタ接続がない場合、上記少なくとも2つの電源ドメインの間に仮想レベルシフタ接続ネットを表示する段階と、をさらに含む
請求項2に記載のコンピュータ実装方法。
(項目4)
上記電源マップはシミュレーション結果と共に用いられ、
上記コンピュータ実装方法は、
上記電源マップにおいて複数の信号の複数の現在のシミュレーション値を表示する段階と、
上記関連付けられる電源ドメインが現在電源を投入されているのか、または電源を切られているのかを示すべく、ONまたはOFFのシンボルを用いて各電源制御のステータスを表示する段階であり、電源制御の上記ステータスは、上記関連付けられる電源ドメインが電源を投入されている場合、電圧レベルを含む段階と、をさらに備える
請求項2に記載のコンピュータ実装方法。
(項目5)
上記電源マップは、アイソレーションコマンドを表わす、少なくとも1つのアイソレーションセルをさらに含み、上記少なくとも1つのアイソレーションセルは、上記複数の電源ドメインへの接続のための複数のアイソレーションネットを含む
請求項1に記載のコンピュータ実装方法。
(項目6)
上記電源マップは、レベルシフタコマンドを表わす、少なくとも1つのレベルシフタセルをさらに含み、上記少なくとも1つのレベルシフタセルは、上記複数の電源ドメインへの接続のための複数のレベルシフタネットを含む
請求項1に記載のコンピュータ実装方法。
(項目7)
上記電源マップは、電源スイッチを表わす、少なくとも1つの電源スイッチセルをさらに含み、上記少なくとも1つの電源スイッチセルは、電源、または複数の電源ドメイン、または少なくとも1つの電源スイッチセルへの接続のための複数の電源スイッチネットを含む
請求項1に記載のコンピュータ実装方法。
(項目8)
上記仮想アイソレーション接続ネット、または上記仮想レベルシフタ接続ネットは、点線または色付きの線のいずれかで表される
請求項5に記載のコンピュータ実装方法。
(項目9)
電源仕様フォーマットで記述される、回路設計の上記電源側を、上記電源仕様とその対応する回路設計とを統合する電源マップを表示することによってデバッグするように適合されたコンピュータシステムであり、上記コンピュータシステムは、プロセッサと、命令を格納するように適合されたコンピュータ可読記憶媒体と、を備え、上記複数の命令は上記プロセッサによって実行されると上記プロセッサに、
上記回路設計から知識データベースを生成させ、
上記電源仕様および上記知識データベースに従って電源データベースを生成させ、
それぞれが上記回路設計の異なる部分に関連付けられる複数の電源ドメインを含む上記電源マップを、上記電源データベースに従って生成および表示させ、
上記複数の電源ドメインを接続する複数の信号に対する、上記電源仕様と上記回路設計との間の複数の不一致または複数のエラーをチェックおよび表示させ、
上記電源マップは、上記複数の電源ドメインの少なくとも1つのサブセットの間の複数の境界および複数の親−子関係を示す第1の表現を含み、上記複数の電源ドメインのうち少なくとも1つは、少なくとも1つの子電源ドメインを含み、上記複数の電源ドメインのうち少なくとも1つは、上記少なくとも1つの電源ドメインを制御するための電源制御に関連付けられ、上記電源制御の上記ステータスは、上記電源マップ上に表示される
コンピュータシステム。
(項目10)
上記複数の電源ドメインの少なくとも1つのサブセットは、関連付けられる親電源ドメイン、および関連付けられる子電源ドメインを有する
請求項9に記載のコンピュータシステム。
(項目11)
上記チェックおよび表示は、
少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、上記少なくとも2つの電源ドメインの間に1つもアイソレーション接続がない場合、上記少なくとも2つの電源ドメインの間に仮想アイソレーション接続ネットを表示することと、
上記少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、上記少なくとも2つの電源ドメインの間に1つもレベルシフタ接続がない場合、上記少なくとも2つの電源ドメインの間に仮想レベルシフタ接続ネットを表示することと、をさらに含む
請求項10に記載のコンピュータシステム。
(項目12)
上記電源マップはシミュレーション結果と共に用いられ、
上記複数の命令は上記プロセッサによって実行されると上記プロセッサにさらに、
上記電源マップにおいて複数の信号の複数の現在のシミュレーション値を表示させ、
上記関連付けられる電源ドメインが現在電源を投入されているのか、または電源を切られているのかを示すべく、ONまたはOFFのシンボルを用いて各電源制御のステータスを表示させ、電源制御の上記ステータスは、上記関連付けられる電源ドメインが電源を投入されている場合、電圧レベルを含む
請求項10に記載のコンピュータシステム。
(項目13)
上記電源マップは、アイソレーションコマンドを表わす、少なくとも1つのアイソレーションセルをさらに含み、上記少なくとも1つのアイソレーションセルは、上記複数の電源ドメインへの接続のための複数のアイソレーションネットを含む
請求項9に記載のコンピュータシステム。
(項目14)
上記電源マップは、レベルシフタコマンドを表わす、少なくとも1つのレベルシフタセルをさらに含み、上記少なくとも1つのレベルシフタセルは、上記複数の電源ドメインへの接続のための複数のレベルシフタネットを含む
請求項9に記載のコンピュータシステム。
(項目15)
上記電源マップは、電源スイッチを表わす、少なくとも1つの電源スイッチセルをさらに含み、上記少なくとも1つの電源スイッチセルは、電源、上記複数の電源ドメイン、または少なくとも1つの電源スイッチセルへの接続のための複数の電源スイッチネットを含む
請求項9に記載のコンピュータシステム。
(項目16)
上記仮想アイソレーション接続ネット、または上記仮想レベルシフタ接続ネットは、点線または色付きの線のいずれかで表される
請求項13に記載のコンピュータシステム。
(項目17)
プロセッサによって実行されると上記プロセッサに、電源仕様フォーマットで記述される、回路設計の電源側を、上記電源仕様とその対応する回路設計とを統合する電源マップを表示することによってデバッグさせる複数の命令を備えるコンピュータ可読記憶媒体であり、上記コンピュータ可読記憶媒体は、上記プロセッサによって実行されると上記プロセッサにさらに、
上記回路設計から知識データベースを生成させ、
上記電源仕様および上記知識データベースに従って電源データベースを生成させ、
それぞれが上記回路設計の異なる部分に関連付けられる複数の電源ドメインを含む上記電源マップを、上記電源データベースに従って生成および表示させ、
上記複数の電源ドメインを接続する複数の信号に対する、上記電源仕様と上記回路設計との間の複数の不一致または複数のエラーをチェックおよび表示させる複数の命令をさらに備え、
上記電源マップは、上記複数の電源ドメインの少なくとも1つのサブセットの間の複数の境界および複数の親−子関係を示す第1の表現を含み、上記複数の電源ドメインのうち少なくとも1つは、少なくとも1つの子電源ドメインを含み、上記複数の電源ドメインのうち少なくとも1つは、上記少なくとも1つの電源ドメインを制御するための電源制御に関連付けられ、上記電源制御の上記ステータスは、上記電源マップ上に表示される
コンピュータ可読記憶媒体。
(項目18)
上記複数の電源ドメインの少なくとも1つのサブセットは、関連付けられる親電源ドメイン、および関連付けられる子電源ドメインを有する
請求項17に記載のコンピュータ可読記憶媒体。
(項目19)
上記チェックおよび表示は、
少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、上記少なくとも2つの電源ドメインの間に1つもアイソレーション接続がない場合、上記少なくとも2つの電源ドメインの間に仮想アイソレーション接続ネットを表示することと、
上記少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、上記少なくとも2つの電源ドメインの間に1つもレベルシフタ接続がない場合、上記少なくとも2つの電源ドメインの間に仮想レベルシフタ接続ネットを表示することと、をさらに含む
請求項18に記載のコンピュータ可読記憶媒体。
(項目20)
上記電源マップはシミュレーション結果と共に用いられ、
上記複数の命令は上記プロセッサによって実行されると上記プロセッサにさらに、
上記電源マップにおいて複数の信号の複数の現在のシミュレーション値を表示させ、
上記関連付けられる電源ドメインが現在電源を投入されているのか、または電源を切られているのかを示すべく、ONまたはOFFのシンボルを用いて各電源制御のステータスを表示させ、電源制御の上記ステータスは、上記関連付けられる電源ドメインが電源を投入されている場合、電圧レベルを含む
請求項18に記載のコンピュータ可読記憶媒体。
(項目21)
上記電源マップは、アイソレーションコマンドを表わす、少なくとも1つのアイソレーションセルをさらに含み、上記少なくとも1つのアイソレーションセルは、上記複数の電源ドメインへの接続のための複数のアイソレーションネットを含む
請求項17に記載のコンピュータ可読記憶媒体。
(項目22)
上記電源マップは、レベルシフタコマンドを表わす、少なくとも1つのレベルシフタセルをさらに含み、上記少なくとも1つのレベルシフタセルは、上記複数の電源ドメインへの接続のための複数のレベルシフタネットを含む
請求項17に記載のコンピュータ可読記憶媒体。
(項目23)
上記電源マップは、電源スイッチを表わす、少なくとも1つの電源スイッチセルをさらに含み、上記少なくとも1つの電源スイッチセルは、電源、上記複数の電源ドメイン、または少なくとも1つの電源スイッチセルへの接続のための複数の電源スイッチネットを含む
請求項17に記載のコンピュータ可読記憶媒体。
(項目24)
上記仮想アイソレーション接続ネット、または上記名前付きの仮想レベルシフタ接続ネットは、点線または色付きの線のいずれかで表される
請求項21に記載のコンピュータ可読記憶媒体。
The above embodiments of the present invention are illustrative and not limiting. Numerous other additions, deletions or modifications are apparent in light of the present disclosure and are intended to be included within the scope of the appended claims.
(Item 1)
A computer-implemented method for debugging the power supply side of a circuit design described in a power supply specification format by displaying a power supply map that integrates the power supply specification and the circuit design.
Generating a knowledge database from the circuit design when the computer is started to debug the circuit design;
Generating a power supply database according to the power supply specification and the knowledge database;
Generating and displaying the power map according to the power database using the computer, the power map including a plurality of power domains each associated with a different part of the circuit design;
Checking and displaying a plurality of mismatches or errors between the power supply specifications and the circuit design for a plurality of signals connecting the plurality of power supply domains,
The power map includes a first representation indicating a plurality of boundaries and a plurality of parent-child relationships between the plurality of power domains, wherein at least one of the plurality of power domains is at least one child power domain. And at least one of the plurality of power domains is associated with power control for controlling the power domain, and the status of the power control is displayed on the power map
Computer mounting method.
(Item 2)
At least one subset of the plurality of power domains has an associated parent power domain and an associated child power domain
The computer-implemented method of claim 1.
(Item 3)
The above check and display steps are:
If there are a plurality of hardware description language (HDL) signals between at least two power domains and there is no isolation connection between the at least two power domains, the virtual between the at least two power domains Displaying the isolation connection net; and
If there is a plurality of hardware description language (HDL) signals between the at least two power domains and there is no level shifter connection between the at least two power domains, the virtual between the at least two power domains Displaying a level shifter connection net
The computer-implemented method according to claim 2.
(Item 4)
The power map is used with simulation results,
The above computer mounting method is:
Displaying a plurality of current simulation values of a plurality of signals in the power map;
In order to indicate whether the associated power domain is currently powered on or powered off, the status of each power control is displayed using an ON or OFF symbol. The status further comprises: including a voltage level if the associated power domain is powered on
The computer-implemented method according to claim 2.
(Item 5)
The power map further includes at least one isolation cell representing an isolation command, and the at least one isolation cell includes a plurality of isolation nets for connection to the plurality of power domains.
The computer-implemented method of claim 1.
(Item 6)
The power map further includes at least one level shifter cell representing a level shifter command, and the at least one level shifter cell includes a plurality of level shifter nets for connection to the plurality of power supply domains.
The computer-implemented method of claim 1.
(Item 7)
The power map further includes at least one power switch cell representing a power switch, the at least one power switch cell for power supply, or a plurality of power domains, or connection to at least one power switch cell. Includes multiple power switch nets
The computer-implemented method of claim 1.
(Item 8)
The virtual isolation connection net or the virtual level shifter connection net is represented by either a dotted line or a colored line.
The computer-implemented method according to claim 5.
(Item 9)
A computer system adapted to debug the power supply side of a circuit design described in a power supply specification format by displaying a power supply map that integrates the power supply specification and its corresponding circuit design, the computer The system comprises a processor and a computer readable storage medium adapted to store instructions, the instructions being executed by the processor upon the processor,
Generate a knowledge database from the above circuit design,
Generate a power supply database according to the power supply specification and the knowledge database,
Generating and displaying the power map including a plurality of power domains each associated with a different part of the circuit design according to the power database;
Check and display multiple mismatches or multiple errors between the power supply specifications and the circuit design for multiple signals connecting the multiple power domains,
The power map includes a first representation indicating a plurality of boundaries and a plurality of parent-child relationships between at least one subset of the plurality of power domains, wherein at least one of the plurality of power domains is at least Including one child power domain, wherein at least one of the plurality of power domains is associated with power control for controlling the at least one power domain, and the status of the power control is indicated on the power map. Is displayed
Computer system.
(Item 10)
At least one subset of the plurality of power domains has an associated parent power domain and an associated child power domain
The computer system according to claim 9.
(Item 11)
The above checks and indications
If there are a plurality of hardware description language (HDL) signals between at least two power domains and there is no isolation connection between the at least two power domains, the virtual between the at least two power domains Displaying an isolation connection net;
If there is a plurality of hardware description language (HDL) signals between the at least two power domains and there is no level shifter connection between the at least two power domains, the virtual between the at least two power domains Further displaying a level shifter connection net
The computer system according to claim 10.
(Item 12)
The power map is used with simulation results,
When the plurality of instructions are executed by the processor, the processor further includes:
Display multiple current simulation values for multiple signals in the power map,
In order to indicate whether the associated power domain is currently powered on or powered off, the status of each power control is displayed using an ON or OFF symbol. , Including the voltage level if the associated power domain is powered on
The computer system according to claim 10.
(Item 13)
The power map further includes at least one isolation cell representing an isolation command, and the at least one isolation cell includes a plurality of isolation nets for connection to the plurality of power domains.
The computer system according to claim 9.
(Item 14)
The power map further includes at least one level shifter cell representing a level shifter command, and the at least one level shifter cell includes a plurality of level shifter nets for connection to the plurality of power supply domains.
The computer system according to claim 9.
(Item 15)
The power map further includes at least one power switch cell representing a power switch, the at least one power switch cell for connection to a power source, the plurality of power domains, or at least one power switch cell. Includes multiple power switch nets
The computer system according to claim 9.
(Item 16)
The virtual isolation connection net or the virtual level shifter connection net is represented by either a dotted line or a colored line.
The computer system according to claim 13.
(Item 17)
Multiple instructions that, when executed by a processor, cause the processor to debug the power side of the circuit design described in the power specification format by displaying a power map integrating the power specification and its corresponding circuit design. A computer readable storage medium comprising: when executed by the processor, the computer readable storage medium further comprising:
Generate a knowledge database from the above circuit design,
Generate a power supply database according to the power supply specification and the knowledge database,
Generating and displaying the power map including a plurality of power domains each associated with a different part of the circuit design according to the power database;
A plurality of instructions for checking and displaying a plurality of mismatches or errors between the power supply specifications and the circuit design for a plurality of signals connecting the plurality of power supply domains;
The power map includes a first representation indicating a plurality of boundaries and a plurality of parent-child relationships between at least one subset of the plurality of power domains, wherein at least one of the plurality of power domains is at least Including one child power domain, wherein at least one of the plurality of power domains is associated with power control for controlling the at least one power domain, and the status of the power control is indicated on the power map. Is displayed
Computer-readable storage medium.
(Item 18)
At least one subset of the plurality of power domains has an associated parent power domain and an associated child power domain
The computer-readable storage medium according to claim 17.
(Item 19)
The above checks and indications
If there are a plurality of hardware description language (HDL) signals between at least two power domains and there is no isolation connection between the at least two power domains, the virtual between the at least two power domains Displaying an isolation connection net;
If there is a plurality of hardware description language (HDL) signals between the at least two power domains and there is no level shifter connection between the at least two power domains, the virtual between the at least two power domains Further displaying a level shifter connection net
The computer-readable storage medium according to claim 18.
(Item 20)
The power map is used with simulation results,
When the plurality of instructions are executed by the processor, the processor further includes:
Display multiple current simulation values for multiple signals in the power map,
In order to indicate whether the associated power domain is currently powered on or powered off, the status of each power control is displayed using an ON or OFF symbol. , Including the voltage level if the associated power domain is powered on
The computer-readable storage medium according to claim 18.
(Item 21)
The power map further includes at least one isolation cell representing an isolation command, and the at least one isolation cell includes a plurality of isolation nets for connection to the plurality of power domains.
The computer-readable storage medium according to claim 17.
(Item 22)
The power map further includes at least one level shifter cell representing a level shifter command, and the at least one level shifter cell includes a plurality of level shifter nets for connection to the plurality of power supply domains.
The computer-readable storage medium according to claim 17.
(Item 23)
The power map further includes at least one power switch cell representing a power switch, the at least one power switch cell for connection to a power source, the plurality of power domains, or at least one power switch cell. Includes multiple power switch nets
The computer-readable storage medium according to claim 17.
(Item 24)
The virtual isolation connection net or the named virtual level shifter connection net is represented by either a dotted line or a colored line.
The computer-readable storage medium according to claim 21.

Claims (24)

電源仕様フォーマットで記述される、回路設計の前記電源側を、前記電源仕様と前記回路設計とを統合する電源マップを表示することによってデバックするためのコンピュータ実装方法であり、前記方法は、
前記回路設計をデバッグすべく前記コンピュータが起動されるとき、前記回路設計から知識データベースを生成する段階と、
前記電源仕様および前記知識データベースに従って電源データベースを生成する段階と、
前記コンピュータを用いて前記電源データベースに従って前記電源マップを生成および表示する段階であり、前記電源マップは、それぞれが前記回路設計の異なる部分に関連付けられる複数の電源ドメインを含む段階と、
前記複数の電源ドメインを接続する複数の信号に対する、前記電源仕様と前記回路設計との間の複数の不一致または複数のエラーをチェックおよび表示する段階と、を備え、
前記電源マップは、前記複数の電源ドメインの間の複数の境界および複数の親−子関係を示す第1の表現を含み、前記複数の電源ドメインのうち少なくとも1つは、少なくとも1つの子電源ドメインを含み、前記複数の電源ドメインのうち少なくとも1つは、前記電源ドメインを制御するための電源制御に関連付けられ、前記電源制御のステータスは、前記電源マップ上に表示される
コンピュータ実装方法。
A computer-implemented method for debugging the power supply side of a circuit design described in a power supply specification format by displaying a power supply map that integrates the power supply specification and the circuit design, the method comprising:
Generating a knowledge database from the circuit design when the computer is started to debug the circuit design;
Generating a power database according to the power specifications and the knowledge database;
Generating and displaying the power map according to the power database using the computer, the power map including a plurality of power domains each associated with a different part of the circuit design;
Checking and displaying a plurality of mismatches or errors between the power supply specifications and the circuit design for a plurality of signals connecting the plurality of power domains,
The power map includes a first representation indicating a plurality of boundaries and a plurality of parent-child relationships between the plurality of power domains, wherein at least one of the plurality of power domains is at least one child power domain. And at least one of the plurality of power domains is associated with power control for controlling the power domain, and the status of the power control is displayed on the power map.
前記複数の電源ドメインの少なくとも1つのサブセットは、関連付けられる親電源ドメイン、および関連付けられる子電源ドメインを有する
請求項1に記載のコンピュータ実装方法。
The computer-implemented method of claim 1, wherein at least one subset of the plurality of power domains has an associated parent power domain and an associated child power domain.
前記チェックおよび表示する段階は、
少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、前記少なくとも2つの電源ドメインの間に1つもアイソレーション接続がない場合、前記少なくとも2つの電源ドメインの間に仮想アイソレーション接続ネットを表示する段階と、
前記少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、前記少なくとも2つの電源ドメインの間に1つもレベルシフタ接続がない場合、前記少なくとも2つの電源ドメインの間に仮想レベルシフタ接続ネットを表示する段階と、をさらに含む
請求項2に記載のコンピュータ実装方法。
The checking and displaying step includes:
If there is a plurality of hardware description language (HDL) signals between at least two power domains and there is no isolation connection between the at least two power domains, the virtual between the at least two power domains Displaying the isolation connection net; and
If there is a plurality of hardware description language (HDL) signals between the at least two power domains and there is no level shifter connection between the at least two power domains, a virtual between the at least two power domains The computer-implemented method according to claim 2, further comprising: displaying a level shifter connection net.
前記電源マップはシミュレーション結果と共に用いられ、
前記コンピュータ実装方法は、
前記電源マップにおいて複数の信号の複数の現在のシミュレーション値を表示する段階と、
前記関連付けられる電源ドメインが現在電源を投入されているのか、または電源を切られているのかを示すべく、ONまたはOFFのシンボルを用いて各電源制御のステータスを表示する段階であり、電源制御の前記ステータスは、前記関連付けられる電源ドメインが電源を投入されている場合、電圧レベルを含む段階と、をさらに備える
請求項2に記載のコンピュータ実装方法。
The power map is used with simulation results,
The computer-implemented method is:
Displaying a plurality of current simulation values of a plurality of signals in the power map;
Displaying the status of each power control using an ON or OFF symbol to indicate whether the associated power domain is currently powered on or powered off. The computer-implemented method of claim 2, wherein the status further comprises a voltage level if the associated power domain is powered on.
前記電源マップは、アイソレーションコマンドを表わす、少なくとも1つのアイソレーションセルをさらに含み、前記少なくとも1つのアイソレーションセルは、前記複数の電源ドメインへの接続のための複数のアイソレーションネットを含む
請求項1に記載のコンピュータ実装方法。
The power map further includes at least one isolation cell representing an isolation command, the at least one isolation cell including a plurality of isolation nets for connection to the plurality of power domains. The computer-implemented method according to 1.
前記電源マップは、レベルシフタコマンドを表わす、少なくとも1つのレベルシフタセルをさらに含み、前記少なくとも1つのレベルシフタセルは、前記複数の電源ドメインへの接続のための複数のレベルシフタネットを含む
請求項1に記載のコンピュータ実装方法。
The power supply map further includes at least one level shifter cell representing a level shifter command, and the at least one level shifter cell includes a plurality of level shifter nets for connection to the plurality of power supply domains. Computer mounting method.
前記電源マップは、電源スイッチを表わす、少なくとも1つの電源スイッチセルをさらに含み、前記少なくとも1つの電源スイッチセルは、電源、または複数の電源ドメイン、または少なくとも1つの電源スイッチセルへの接続のための複数の電源スイッチネットを含む
請求項1に記載のコンピュータ実装方法。
The power map further includes at least one power switch cell representing a power switch, the at least one power switch cell for power supply, or a plurality of power domains, or connection to at least one power switch cell. The computer-implemented method according to claim 1, comprising a plurality of power switch nets.
前記仮想アイソレーション接続ネット、または前記仮想レベルシフタ接続ネットは、点線または色付きの線のいずれかで表される
請求項5に記載のコンピュータ実装方法。
The computer-implemented method according to claim 5, wherein the virtual isolation connection net or the virtual level shifter connection net is represented by either a dotted line or a colored line.
電源仕様フォーマットで記述される、回路設計の前記電源側を、前記電源仕様とその対応する回路設計とを統合する電源マップを表示することによってデバッグするように適合されたコンピュータシステムであり、前記コンピュータシステムは、プロセッサと、命令を格納するように適合されたコンピュータ可読記憶媒体と、を備え、複数の前記命令は前記プロセッサによって実行されると前記プロセッサに、
前記回路設計から知識データベースを生成させ、
前記電源仕様および前記知識データベースに従って電源データベースを生成させ、
それぞれが前記回路設計の異なる部分に関連付けられる複数の電源ドメインを含む前記電源マップを、前記電源データベースに従って生成および表示させ、
前記複数の電源ドメインを接続する複数の信号に対する、前記電源仕様と前記回路設計との間の複数の不一致または複数のエラーをチェックおよび表示させ、
前記電源マップは、前記複数の電源ドメインの少なくとも1つのサブセットの間の複数の境界および複数の親−子関係を示す第1の表現を含み、前記複数の電源ドメインのうち少なくとも1つは、少なくとも1つの子電源ドメインを含み、前記複数の電源ドメインのうち少なくとも1つは、前記少なくとも1つの電源ドメインを制御するための電源制御に関連付けられ、前記電源制御の前記ステータスは、前記電源マップ上に表示される
コンピュータシステム。
A computer system adapted to debug the power supply side of a circuit design described in a power supply specification format by displaying a power supply map that integrates the power supply specification and its corresponding circuit design, the computer The system comprises a processor and a computer readable storage medium adapted to store instructions, wherein when the instructions are executed by the processor, the processor
Generating a knowledge database from the circuit design;
Generating a power supply database according to the power supply specification and the knowledge database;
Generating and displaying the power map according to the power database, including a plurality of power domains each associated with a different part of the circuit design;
Checking and displaying a plurality of mismatches or errors between the power specification and the circuit design for a plurality of signals connecting the plurality of power domains;
The power map includes a first representation indicating a plurality of boundaries and a plurality of parent-child relationships between at least a subset of the plurality of power domains, wherein at least one of the plurality of power domains is at least Including one child power domain, wherein at least one of the plurality of power domains is associated with power control for controlling the at least one power domain, and the status of the power control is indicated on the power map Displayed computer system.
前記複数の電源ドメインの少なくとも1つのサブセットは、関連付けられる親電源ドメイン、および関連付けられる子電源ドメインを有する
請求項9に記載のコンピュータシステム。
The computer system according to claim 9, wherein at least one subset of the plurality of power domains has an associated parent power domain and an associated child power domain.
前記チェックおよび表示は、
少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、前記少なくとも2つの電源ドメインの間に1つもアイソレーション接続がない場合、前記少なくとも2つの電源ドメインの間に仮想アイソレーション接続ネットを表示することと、
前記少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、前記少なくとも2つの電源ドメインの間に1つもレベルシフタ接続がない場合、前記少なくとも2つの電源ドメインの間に仮想レベルシフタ接続ネットを表示することと、をさらに含む
請求項10に記載のコンピュータシステム。
The check and display
If there is a plurality of hardware description language (HDL) signals between at least two power domains and there is no isolation connection between the at least two power domains, the virtual between the at least two power domains Displaying an isolation connection net;
If there is a plurality of hardware description language (HDL) signals between the at least two power domains and there is no level shifter connection between the at least two power domains, a virtual between the at least two power domains The computer system according to claim 10, further comprising: displaying a level shifter connection net.
前記電源マップはシミュレーション結果と共に用いられ、
複数の前記命令は前記プロセッサによって実行されると前記プロセッサにさらに、
前記電源マップにおいて複数の信号の複数の現在のシミュレーション値を表示させ、
前記関連付けられる電源ドメインが現在電源を投入されているのか、または電源を切られているのかを示すべく、ONまたはOFFのシンボルを用いて各電源制御のステータスを表示させ、電源制御の前記ステータスは、前記関連付けられる電源ドメインが電源を投入されている場合、電圧レベルを含む
請求項10に記載のコンピュータシステム。
The power map is used with simulation results,
When the plurality of instructions are executed by the processor, the processor further includes:
Displaying a plurality of current simulation values of a plurality of signals in the power map;
In order to indicate whether the associated power domain is currently powered on or powered off, the status of each power control is displayed using an ON or OFF symbol, and the status of power control is The computer system of claim 10, comprising a voltage level if the associated power domain is powered on.
前記電源マップは、アイソレーションコマンドを表わす、少なくとも1つのアイソレーションセルをさらに含み、前記少なくとも1つのアイソレーションセルは、前記複数の電源ドメインへの接続のための複数のアイソレーションネットを含む
請求項9に記載のコンピュータシステム。
The power map further includes at least one isolation cell representing an isolation command, the at least one isolation cell including a plurality of isolation nets for connection to the plurality of power domains. 10. The computer system according to 9.
前記電源マップは、レベルシフタコマンドを表わす、少なくとも1つのレベルシフタセルをさらに含み、前記少なくとも1つのレベルシフタセルは、前記複数の電源ドメインへの接続のための複数のレベルシフタネットを含む
請求項9に記載のコンピュータシステム。
The power supply map further includes at least one level shifter cell representing a level shifter command, and the at least one level shifter cell includes a plurality of level shifter nets for connection to the plurality of power supply domains. Computer system.
前記電源マップは、電源スイッチを表わす、少なくとも1つの電源スイッチセルをさらに含み、前記少なくとも1つの電源スイッチセルは、電源、前記複数の電源ドメイン、または少なくとも1つの電源スイッチセルへの接続のための複数の電源スイッチネットを含む
請求項9に記載のコンピュータシステム。
The power map further includes at least one power switch cell representing a power switch, the at least one power switch cell for connection to a power source, the plurality of power domains, or at least one power switch cell. The computer system according to claim 9, comprising a plurality of power switch nets.
前記仮想アイソレーション接続ネット、または前記仮想レベルシフタ接続ネットは、点線または色付きの線のいずれかで表される
請求項13に記載のコンピュータシステム。
The computer system according to claim 13, wherein the virtual isolation connection net or the virtual level shifter connection net is represented by either a dotted line or a colored line.
プロセッサによって実行されると前記プロセッサに、電源仕様フォーマットで記述される、回路設計の電源側を、前記電源仕様とその対応する回路設計とを統合する電源マップを表示することによってデバッグさせる複数の命令を備えるコンピュータ可読記憶媒体であり、前記コンピュータ可読記憶媒体は、前記プロセッサによって実行されると前記プロセッサにさらに、
前記回路設計から知識データベースを生成させ、
前記電源仕様および前記知識データベースに従って電源データベースを生成させ、
それぞれが前記回路設計の異なる部分に関連付けられる複数の電源ドメインを含む前記電源マップを、前記電源データベースに従って生成および表示させ、
前記複数の電源ドメインを接続する複数の信号に対する、前記電源仕様と前記回路設計との間の複数の不一致または複数のエラーをチェックおよび表示させる複数の命令をさらに備え、
前記電源マップは、前記複数の電源ドメインの少なくとも1つのサブセットの間の複数の境界および複数の親−子関係を示す第1の表現を含み、前記複数の電源ドメインのうち少なくとも1つは、少なくとも1つの子電源ドメインを含み、前記複数の電源ドメインのうち少なくとも1つは、前記少なくとも1つの電源ドメインを制御するための電源制御に関連付けられ、前記電源制御の前記ステータスは、前記電源マップ上に表示される
コンピュータ可読記憶媒体。
A plurality of instructions that, when executed by a processor, cause the processor to debug the power side of the circuit design described in a power specification format by displaying a power map integrating the power specification and its corresponding circuit design A computer readable storage medium comprising: when executed by the processor, the computer readable storage medium further comprising:
Generating a knowledge database from the circuit design;
Generating a power supply database according to the power supply specification and the knowledge database;
Generating and displaying the power map according to the power database, including a plurality of power domains each associated with a different part of the circuit design;
A plurality of instructions for checking and displaying a plurality of mismatches or errors between the power supply specification and the circuit design for a plurality of signals connecting the plurality of power supply domains;
The power map includes a first representation indicating a plurality of boundaries and a plurality of parent-child relationships between at least a subset of the plurality of power domains, wherein at least one of the plurality of power domains is at least Including one child power domain, wherein at least one of the plurality of power domains is associated with power control for controlling the at least one power domain, and the status of the power control is indicated on the power map Computer readable storage medium to be displayed.
前記複数の電源ドメインの少なくとも1つのサブセットは、関連付けられる親電源ドメイン、および関連付けられる子電源ドメインを有する
請求項17に記載のコンピュータ可読記憶媒体。
The computer-readable storage medium of claim 17, wherein at least one subset of the plurality of power domains has an associated parent power domain and an associated child power domain.
前記チェックおよび表示は、
少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、前記少なくとも2つの電源ドメインの間に1つもアイソレーション接続がない場合、前記少なくとも2つの電源ドメインの間に仮想アイソレーション接続ネットを表示することと、
前記少なくとも2つの電源ドメインの間にハードウェア記述言語(HDL)の複数の信号があり、前記少なくとも2つの電源ドメインの間に1つもレベルシフタ接続がない場合、前記少なくとも2つの電源ドメインの間に仮想レベルシフタ接続ネットを表示することと、をさらに含む
請求項18に記載のコンピュータ可読記憶媒体。
The check and display
If there is a plurality of hardware description language (HDL) signals between at least two power domains and there is no isolation connection between the at least two power domains, the virtual between the at least two power domains Displaying an isolation connection net;
If there is a plurality of hardware description language (HDL) signals between the at least two power domains and there is no level shifter connection between the at least two power domains, a virtual between the at least two power domains The computer-readable storage medium according to claim 18, further comprising: displaying a level shifter connection net.
前記電源マップはシミュレーション結果と共に用いられ、
前記複数の命令は前記プロセッサによって実行されると前記プロセッサにさらに、
前記電源マップにおいて複数の信号の複数の現在のシミュレーション値を表示させ、
前記関連付けられる電源ドメインが現在電源を投入されているのか、または電源を切られているのかを示すべく、ONまたはOFFのシンボルを用いて各電源制御のステータスを表示させ、電源制御の前記ステータスは、前記関連付けられる電源ドメインが電源を投入されている場合、電圧レベルを含む
請求項18に記載のコンピュータ可読記憶媒体。
The power map is used with simulation results,
When the plurality of instructions are executed by the processor, the processor further includes:
Displaying a plurality of current simulation values of a plurality of signals in the power map;
In order to indicate whether the associated power domain is currently powered on or powered off, the status of each power control is displayed using an ON or OFF symbol, and the status of power control is The computer-readable storage medium of claim 18, comprising a voltage level if the associated power domain is powered on.
前記電源マップは、アイソレーションコマンドを表わす、少なくとも1つのアイソレーションセルをさらに含み、前記少なくとも1つのアイソレーションセルは、前記複数の電源ドメインへの接続のための複数のアイソレーションネットを含む
請求項17に記載のコンピュータ可読記憶媒体。
The power map further includes at least one isolation cell representing an isolation command, the at least one isolation cell including a plurality of isolation nets for connection to the plurality of power domains. The computer-readable storage medium according to 17.
前記電源マップは、レベルシフタコマンドを表わす、少なくとも1つのレベルシフタセルをさらに含み、前記少なくとも1つのレベルシフタセルは、前記複数の電源ドメインへの接続のための複数のレベルシフタネットを含む
請求項17に記載のコンピュータ可読記憶媒体。
The power supply map further includes at least one level shifter cell representing a level shifter command, and the at least one level shifter cell includes a plurality of level shifter nets for connection to the plurality of power supply domains. Computer-readable storage medium.
前記電源マップは、電源スイッチを表わす、少なくとも1つの電源スイッチセルをさらに含み、前記少なくとも1つの電源スイッチセルは、電源、前記複数の電源ドメイン、または少なくとも1つの電源スイッチセルへの接続のための複数の電源スイッチネットを含む
請求項17に記載のコンピュータ可読記憶媒体。
The power map further includes at least one power switch cell representing a power switch, the at least one power switch cell for connection to a power source, the plurality of power domains, or at least one power switch cell. The computer-readable storage medium according to claim 17, comprising a plurality of power switch nets.
前記仮想アイソレーション接続ネット、または前記名前付きの仮想レベルシフタ接続ネットは、点線または色付きの線のいずれかで表される
請求項21に記載のコンピュータ可読記憶媒体。
The computer-readable storage medium according to claim 21, wherein the virtual isolation connection net or the named virtual level shifter connection net is represented by either a dotted line or a colored line.
JP2015548066A 2012-12-18 2013-12-18 Hierarchical power map for low power design Active JP6236589B2 (en)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
US13/718,979 US20140013293A1 (en) 2010-06-24 2012-12-18 Hierarchical power map for low power design
US13/718,979 2012-12-18
PCT/US2013/076247 WO2014100246A1 (en) 2012-12-18 2013-12-18 Hierarchical power map for low power design

Publications (2)

Publication Number Publication Date
JP2016502206A true JP2016502206A (en) 2016-01-21
JP6236589B2 JP6236589B2 (en) 2017-11-29

Family

ID=50979168

Family Applications (1)

Application Number Title Priority Date Filing Date
JP2015548066A Active JP6236589B2 (en) 2012-12-18 2013-12-18 Hierarchical power map for low power design

Country Status (5)

Country Link
JP (1) JP6236589B2 (en)
KR (1) KR101769693B1 (en)
DE (1) DE112013006048T5 (en)
TW (1) TWI609282B (en)
WO (1) WO2014100246A1 (en)

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102048399B1 (en) 2016-03-31 2020-01-09 퀄컴 인코포레이티드 Hardware management power collapse and clock wake-up for memory management units and distributed virtual memory networks

Families Citing this family (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8365132B2 (en) 2010-06-24 2013-01-29 Chih-Neng Hsu Hierarchial power map for low power design

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2005190442A (en) * 2003-12-26 2005-07-14 Asahi Kasei Microsystems Kk Method of verifying multi-power source electronic circuit
JP2010049646A (en) * 2008-08-25 2010-03-04 Sharp Corp Power supply system data generation device, power supply system data generation program, and power supply system data generation method
US20110320991A1 (en) * 2010-06-24 2011-12-29 Springsoft Usa, Inc. Hierarchial power map for low power design
JP2012173832A (en) * 2011-02-18 2012-09-10 Renesas Electronics Corp Layout method for semiconductor integrated circuit and program

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7180208B2 (en) * 2003-12-15 2007-02-20 Texas Instruments Incorporated Switch structure for reduced voltage fluctuation in power domains and sub-domains
US7574683B2 (en) * 2005-08-05 2009-08-11 John Wilson Automating power domains in electronic design automation
US7669165B2 (en) 2006-10-25 2010-02-23 Cadence Design Systems, Inc. Method and system for equivalence checking of a low power design
US7673276B2 (en) 2006-10-26 2010-03-02 Cadence Design Systems, Inc. Method and system for conducting a low-power design exploration
US8176453B2 (en) 2009-01-23 2012-05-08 Springsoft Usa, Inc. Power-aware debugging
US8407635B2 (en) * 2011-01-31 2013-03-26 Cadence Design Systems, Inc. System and method for automatic extraction of power intent from custom analog/custom digital/mixed signal schematic designs

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2005190442A (en) * 2003-12-26 2005-07-14 Asahi Kasei Microsystems Kk Method of verifying multi-power source electronic circuit
JP2010049646A (en) * 2008-08-25 2010-03-04 Sharp Corp Power supply system data generation device, power supply system data generation program, and power supply system data generation method
US20110320991A1 (en) * 2010-06-24 2011-12-29 Springsoft Usa, Inc. Hierarchial power map for low power design
JP2012173832A (en) * 2011-02-18 2012-09-10 Renesas Electronics Corp Layout method for semiconductor integrated circuit and program

Cited By (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
KR102048399B1 (en) 2016-03-31 2020-01-09 퀄컴 인코포레이티드 Hardware management power collapse and clock wake-up for memory management units and distributed virtual memory networks

Also Published As

Publication number Publication date
WO2014100246A1 (en) 2014-06-26
DE112013006048T5 (en) 2015-09-17
KR101769693B1 (en) 2017-08-18
TWI609282B (en) 2017-12-21
KR20150135204A (en) 2015-12-02
TW201428522A (en) 2014-07-16
JP6236589B2 (en) 2017-11-29

Similar Documents

Publication Publication Date Title
US20140013293A1 (en) Hierarchical power map for low power design
US8365132B2 (en) Hierarchial power map for low power design
TWI528199B (en) System and method for automatic extraction of power intent from custom analog/custom digital/mixed signal schematic designs
US5867399A (en) System and method for creating and validating structural description of electronic system from higher-level and behavior-oriented description
US9703921B1 (en) Naturally connecting mixed-signal power networks in mixed-signal simulations
US5623418A (en) System and method for creating and validating structural description of electronic system
US8176453B2 (en) Power-aware debugging
US6470482B1 (en) Method and system for creating, deriving and validating structural description of electronic system from higher level, behavior-oriented description, including interactive schematic design and simulation
US8832615B2 (en) Method for detecting and debugging design errors in low power IC design
US9361415B1 (en) Method, system, and computer program product for implementing a multi-fabric electronic design spanning across multiple design fabrics
US10372854B2 (en) Active trace assertion based verification system
US20080104556A1 (en) Assertion Generating System, Program Thereof, Circuit Verifying System, and Assertion Generating Method
US8984461B1 (en) Visualization constraints for circuit designs
Horak et al. Visual analysis of hyperproperties for understanding model checking results
Mueller et al. UML for ESL design: basic principles, tools, and applications
JP6236589B2 (en) Hierarchical power map for low power design
US9047424B1 (en) System and method for analog verification IP authoring and storage
CN117195818B (en) Power supply design command generation method and device, electronic equipment and storage medium
US10417372B2 (en) Annotating isolated signals
US9465903B1 (en) Programmable IC design creation using circuit board data
US10878164B1 (en) Methods, systems, and computer program product for interactively probing a multi-fabric electronic design
Srivastava et al. Stepping into UPF 2.1 world: Easy solution to complex Power Aware Verification
Frau Unified Power Format Modeling in Modern Electronic Design: A Quasi-Experimental Approach
Khondkar et al. UPF Based Power Aware Dynamic Simulation
Harcourt Simulation, design abstraction, and SystemC

Legal Events

Date Code Title Description
A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20151110

A977 Report on retrieval

Free format text: JAPANESE INTERMEDIATE CODE: A971007

Effective date: 20160707

A131 Notification of reasons for refusal

Free format text: JAPANESE INTERMEDIATE CODE: A131

Effective date: 20160719

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20161019

A521 Request for written amendment filed

Free format text: JAPANESE INTERMEDIATE CODE: A523

Effective date: 20161108

TRDD Decision of grant or rejection written
A01 Written decision to grant a patent or to grant a registration (utility model)

Free format text: JAPANESE INTERMEDIATE CODE: A01

Effective date: 20170509

A601 Written request for extension of time

Free format text: JAPANESE INTERMEDIATE CODE: A601

Effective date: 20170607

A711 Notification of change in applicant

Free format text: JAPANESE INTERMEDIATE CODE: A711

Effective date: 20170707

A61 First payment of annual fees (during grant procedure)

Free format text: JAPANESE INTERMEDIATE CODE: A61

Effective date: 20170707

R150 Certificate of patent or registration of utility model

Ref document number: 6236589

Country of ref document: JP

Free format text: JAPANESE INTERMEDIATE CODE: R150

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250

R250 Receipt of annual fees

Free format text: JAPANESE INTERMEDIATE CODE: R250