Kabushiki Kaisha Toshiba

Yuichiro Matsuoka

Masami Aihara

Naomi Takeda

Shozo Isobe

Seiichi Nishio

A circuit design support apparatus partially converts a description of a circuit model to simulate the circuit operation. A register signal replacement section replaces a register signal with a variable in a process related with the register signal of the description and inserts a declaration of the variable in the process instead of a declaration of the register signal in the description. A clock signal simplification section replaces a clock signal with a variable in a clock signal reference process of the description and unifies a clock signal update process to the clock signal reference process in the description.

Circuit design support apparatus and a method

A hardware verification module performs simulation for hardware verification with input from an RT-level processor model and an RT-level hardware description. All abstraction module abstracts from the RT-level hardware description on a processor input/output instruction operation level to generate an abstracted description describing an instruction-level hardware description. A software verification module performs simulation for software verification with input from an instruction-level processor model and the abstracted description.

Growing community of inventors

Kanagawa-ken, Japan

Yuichiro Matsuoka