処理中

しばらくお待ちください...

PATENTSCOPE は、メンテナンスのため次の日時に数時間サービスを休止します。サービス休止: 土曜日 31.10.2020 (7:00 午前 CET)
設定

設定

出願の表示

1. WO2004038620 - システム開発方法及びデータ処理システム

公開番号 WO/2004/038620
公開日 06.05.2004
国際出願番号 PCT/JP2003/012840
国際出願日 07.10.2003
予備審査請求日 07.10.2003
IPC
G06F 17/50 2006.01
G物理学
06計算;計数
F電気的デジタルデータ処理
17特定の機能に特に適合したデジタル計算またはデータ処理の装置または方法
50計算機利用設計
CPC
G06F 30/30
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
30Computer-aided design [CAD]
30Circuit design
G06F 30/327
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
30Computer-aided design [CAD]
30Circuit design
32Circuit design at the digital level
327Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
G06F 30/3323
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
30Computer-aided design [CAD]
30Circuit design
32Circuit design at the digital level
33Design verification, e.g. functional simulation or model checking
3323using formal methods, e.g. equivalence checking or property checking
G06F 8/10
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
10Requirements analysis; Specification techniques
G06F 8/51
GPHYSICS
06COMPUTING; CALCULATING; COUNTING
FELECTRIC DIGITAL DATA PROCESSING
8Arrangements for software engineering
40Transformation of program code
51Source to source
出願人
  • RENESAS TECHNOLOGY CORP. [JP]/[JP] (AllExceptUS)
  • TANIMOTO, Tadaaki [JP]/[JP] (UsOnly)
  • KAMADA, Masurao [JP]/[JP] (UsOnly)
発明者
  • TANIMOTO, Tadaaki
  • KAMADA, Masurao
代理人
  • TAMAMURA, Shizuyo
優先権情報
2002-31320128.10.2002JP
公開言語 (言語コード) 日本語 (JA)
出願言語 (言語コード) 日本語 (JA)
指定国 (国コード)
発明の名称
(EN) SYSTEM DEVELOPMENT METHOD AND DATA PROCESSING SYSTEM
(FR) PROCEDE DE DEVELOPPEMENT D'UN SYSTEME ET SYSTEME DE TRAITEMENT DE DONNEES
(JA) システム開発方法及びデータ処理システム
要約
(EN)
A program description (1) defining a plurality of devices by using a program language capable of describing a parallel operation is input. The program description which has been input is converted into an intermediate expression (S2). A parameter satisfying a real time restriction is generated for the intermediate expression (S3). According to the parameter generated, a circuit description by the hardware description language is synthesized (S4). The intermediate expression is a concurrent control flow flag, a time automaton having a concurrent parameter, or the like. In the aforementioned parameter generation, parametric model checking is performed. The program description is performed by defining a device by using the run method and defining a device clock synchronization by using the barrier synchronization. Thus, it is possible to design a bus system satisfying the real time restriction.
(FR)
On introduit une description de programme (1) définissant une pluralité de dispositifs au moyen d'un langage de programmation capable de décrire un fonctionnement parallèle. La description de programmation introduite est convertie en une expression intermédiaire (S2). Un paramètre satisfaisant aux conditions de limitation du temps réel est généré pour l'expression intermédiaire (S2). En partant du paramètre généré, le langage de description de matériel synthétise (S4) une description de circuit. L'expression intermédiaire est un indicateur de flux de commande concurrent, un automate temporel étant pourvu d'un paramètre concurrent ou analogue. Dans la génération du paramètre précité, une vérification de modèle paramétrique est effectuée. Pour décrire la description de programme, on définit un dispositif selon la méthode des passages et on définit une synchronisation d'horloge du dispositif par une synchronisation des barrières. L'invention permet de concevoir un système de bus satisfaisant aux conditions de limitation du temps réel.
(JA)
 並列動作の記述が可能なプログラム言語を用いて複数のデバイスを定義したプログラム記述(1)を入力し、入力したプログラム記述を中間表現に変換し(S2)、中間表現に対し、実時間制約を満足するパラメータを生成し(S3)、生成したパラメータに基づいてハードウェア記述言語による回路記述を合成する(S4)。中間表現は、コンカレントなコントロールフローフラグ、コンカレントなパラメータ付き時間オートマトン等である。前記パラメータ生成に、パラメトリック・モデルチェッキングを行う。プログラム記述は、runメソッドを用いてデバイスの定義を行い、バリア同期を用いてデバイスのクロック同期を定義する。これにより、実時間制約を満たすバス・システムを設計することができる。
国際事務局に記録されている最新の書誌情報