Behavioral synthesis apparatus, method, and program having test bench generation function
    1.
    发明授权
    Behavioral synthesis apparatus, method, and program having test bench generation function 有权
    具有测试台生成功能的行为综合装置,方法和程序

    公开(公告)号:US08386973B2

    公开(公告)日:2013-02-26

    申请号:US13336328

    申请日:2011-12-23

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505 G06F17/5022

    摘要: Disclosed is a behavioral synthesis apparatus for generating a test bench where the same test vector can be used in both the behavioral simulation and the RTL simulation. The apparatus includes input application/output signal observation timing signal generation means that generates an input application timing signal, an output observation timing signal, and logic circuits for the input application timing signal and the output observation timing signal; and test bench generation means that generates a test bench that observes the signals, applies inputs, and observes outputs.

    摘要翻译: 公开了一种用于产生测试台的行为合成装置,其中可以在行为模拟和RTL模拟中使用相同的测试矢量。 该装置包括输入应用/输出信号观测定时信号产生装置,用于产生输入应用定时信号,输出观测定时信号和用于输入应用定时信号和输出观测定时信号的逻辑电路; 测试台生成手段可以生成观察信号,应用输入和观察输出的测试台。

    Behavioral synthesis apparatus, method, and program having test bench generation function
    2.
    发明授权
    Behavioral synthesis apparatus, method, and program having test bench generation function 有权
    具有测试台生成功能的行为综合装置,方法和程序

    公开(公告)号:US08091051B2

    公开(公告)日:2012-01-03

    申请号:US12022573

    申请日:2008-01-30

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505 G06F17/5022

    摘要: Disclosed is a behavioral synthesis apparatus for generating a test bench where the same test vector can be used in both the behavioral simulation and the RTL simulation. The apparatus includes input application/output signal observation timing signal generation means that generates an input application timing signal, an output observation timing signal, and logic circuits for the input application timing signal and the output observation timing signal; and test bench generation means that generates a test bench that observes the signals, applies inputs, and observes outputs.

    摘要翻译: 公开了一种用于产生测试台的行为合成装置,其中可以在行为模拟和RTL模拟中使用相同的测试矢量。 该装置包括输入应用/输出信号观测定时信号产生装置,用于产生输入应用定时信号,输出观测定时信号和用于输入应用定时信号和输出观测定时信号的逻辑电路; 测试台生成手段可以生成观察信号,应用输入和观察输出的测试台。

    Facsimile machine capable of printing plurality of original images in
main scanning direction of recording paper
    3.
    发明授权
    Facsimile machine capable of printing plurality of original images in main scanning direction of recording paper 失效
    能够在记录纸的主扫描方向上打印多张原始图像的传真机

    公开(公告)号:US5450213A

    公开(公告)日:1995-09-12

    申请号:US949137

    申请日:1992-09-23

    CPC分类号: H04N1/3875

    摘要: Compressed image data for a plurality of sheets of original transmitted from another party is demodulated, expanded by a modem 1 and a facsimile control portion 2, and reduced at a reduction processing portion 11, and the image data after the reduction is transferred to a printing control portion 8. In a first embodiment, the reduced image data for one sheet of original is printed out by a printing portion on a sheet of recording paper from its one end in a main scanning direction. After printing of the image data for the one sheet is completed, the sheet of recording paper is rewound, and then the reduced image data for the second page is printed out laterally to the main scanning direction of the image data of the first page.

    摘要翻译: 从另一方发送的多张原稿的压缩图像数据由调制解调器1和传真控制部分2进行解调,并在缩小处理部分11处被缩小,并且减少之后的图像数据被传送到打印 在第一实施例中,一张原稿的缩小图像数据从其一个主扫描方向上的一张记录纸上的打印部分打印出来。 在完成对一张纸的图像数据的打印完成之后,记录纸张被倒带,然后将第二页的缩小图像数据横向打印在第一页的图像数据的主扫描方向上。

    Computation device and computation execution method
    4.
    发明授权
    Computation device and computation execution method 有权
    计算设备和计算执行方法

    公开(公告)号:US09032421B2

    公开(公告)日:2015-05-12

    申请号:US13985788

    申请日:2011-10-21

    IPC分类号: G06F13/00 G06F9/54 G06F7/00

    摘要: A computation device includes a data path element (300) including a function processing unit (4000) that executes a computation specified in a function using input data included in an event (1000) as an argument; and a control path element (2000) that detects the event (1000) by use of a return value (ret) of the function. The function processing unit (4000) includes a data calculation unit (4001) that executes a computation and outputs a first result (d0); and a control comparison unit (4002) that outputs, to the control path element (2000), a result of comparison between the input data and data for specifying the event (1000), as the return value (ret).

    摘要翻译: 计算装置包括数据路径元素(300),该数据路径元素(300)包括功能处理单元(4000),其使用包括在事件(1000)中的输入数据作为参数来执行在功能中指定的计算; 以及通过使用函数的返回值(ret)来检测事件(1000)的控制路径元素(2000)。 功能处理单元(4000)包括执行计算并输出第一结果(d0)的数据计算单元(4001)。 以及将所述输入数据和用于指定所述事件的数据(1000)的比较结果作为所述返回值(ret)输出到所述控制路径要素(2000)的控制比较部(4002)。

    Load/unload mechanism for magnetic disk drive
    5.
    发明授权
    Load/unload mechanism for magnetic disk drive 失效
    磁盘驱动装载/卸载机构

    公开(公告)号:US07365930B2

    公开(公告)日:2008-04-29

    申请号:US11446044

    申请日:2006-06-01

    IPC分类号: G11B21/12

    CPC分类号: G11B21/12 G11B5/54 G11B21/22

    摘要: Formation of wear powder caused by wear of a ramp which is attributable to mutual contact of a lift tab and the ramp is to be reduced in loading and unloading operations. In one embodiment, a spindle motor is turned on by application of power, then the temperature of a ramp is measured and it is determined whether the temperature of the ramp has reached a preset temperature (about 25° C.) or not. If the answer is negative, a heater is energized to heat the ramp for raising the temperature of the ramp. When it is detected that the temperature of the ramp has reached the preset temperature, the heating of the ramp is stopped and the execution of loading and unloading operations is permitted, then an ordinary processing is started.

    摘要翻译: 由于升降片和斜坡的相互接触导致的由斜坡磨损引起的磨损粉末的形成将在装载和卸载操作中减少。 在一个实施例中,主轴电动机通过施加电力而被接通,然后测量斜坡的温度,并且确定斜坡的温度是否达到预设温度(约25℃)。 如果答案为负,加热器通电以加热斜坡以提高斜坡的温度。 当检测到斜坡的温度达到预设温度时,停止加热斜坡并允许执行装载和卸载操作,然后开始普通的处理。

    Facsimile apparatus capable of successively retrieving related image data
    6.
    发明授权
    Facsimile apparatus capable of successively retrieving related image data 失效
    能够连续检索相关图像数据的传真装置

    公开(公告)号:US5357345A

    公开(公告)日:1994-10-18

    申请号:US784515

    申请日:1991-10-29

    IPC分类号: H04N1/21 H04N1/32 H04N1/327

    摘要: A facsimile apparatus includes a memory wherein data are stored in a sequential manner. The data are input through a network. The facsimile apparatus transmits the image data in the memory to a destination facsimile apparatus through the network in response to a retrieval request signal from the destination facsimile apparatus. When the destination facsimile apparatus performs an operator interruption processing after the transmission, a transmitter again accepts a retrieval request signal from the destination facsimile and transmits image data from the memory.

    摘要翻译: 传真装置包括其中以顺序方式存储数据的存储器。 数据通过网络输入。 传真设备响应于来自目的地传真设备的检索请求信号,通过网络将存储器中的图像数据发送到目的地传真设备。 当目的地传真装置在发送之后执行操作者中断处理时,发送机再次接收来自目的地传真机的检索请求信号,并从存储器发送图像数据。

    Communication device with a detachable recording medium
    7.
    发明授权
    Communication device with a detachable recording medium 失效
    具有可拆卸记录介质的通信设备

    公开(公告)号:US5301228A

    公开(公告)日:1994-04-05

    申请号:US834159

    申请日:1992-02-12

    IPC分类号: H04N1/00 H04M11/00

    摘要: A transmission device using a telephone is provided. In a facsimile apparatus incorporating a telephone answering machine, a message or facsimile data is recorded on a magnetic tape, followed by index information concerning the recorded message or facsimile data. The index information includes the number of messages or facsimile data recorded on the magnetic tape and the record position of each data. The index information on magnetic tape is updated every time a new message or facsimile data is recorded on the tape. Even if a magnetic tape having data recorded is unloaded from the device and then loaded again, the facsimile apparatus can be restored to the state just before the magnetic tape was unloaded. Thus, head position detection and reproduction of the magnetic tape can be carried out promptly.

    摘要翻译: 提供使用电话的传输设备。 在包含电话应答机的传真装置中,将消息或传真数据记录在磁带上,随后是关于所记录的消息或传真数据的索引信息。 索引信息包括记录在磁带上的消息或传真数据的数量以及每个数据的记录位置。 磁带上的索引信息每当新的信息或传真数据被记录在磁带上时更新。 即使具有记录的数据的磁带从设备卸载然后再次加载,传真装置也可以恢复到在磁带卸载之前的状态。 因此,可以及时地执行磁带的磁头位置检测和再现。

    Logic verification and logic cone extraction technique
    8.
    发明授权
    Logic verification and logic cone extraction technique 有权
    逻辑验证和逻辑锥提取技术

    公开(公告)号:US07523029B2

    公开(公告)日:2009-04-21

    申请号:US10612193

    申请日:2003-07-03

    申请人: Takashi Takenaka

    发明人: Takashi Takenaka

    IPC分类号: G06F17/50

    CPC分类号: G06F17/5022

    摘要: Logic verification is performed based on correspondence information and compile information. The correspondence information specifies information on pairs of fragments of descriptions to be compared for equivalence in a behavioral level description written in a programming language and an RT level description obtained through behavioral synthesis and information on pairs of signals to be compared for each of the description pairs. The compile information includes mapping information between the behavioral level description and an object code. A logic cone extraction section extracts first logic cones from the object code through symbolic simulation by referencing the correspondence information and the compile information. The logic cone extraction section extracts second logic cones from the RT level description. A logic cone comparison section verifies equivalence between the first and second logic cones.

    摘要翻译: 逻辑验证是根据对应信息和编译信息进行的。 对应信息指定关于在编程语言中写入的行为级别描述中要进行比较的描述对应的描述片段的信息和通过行为合成获得的RT级别描述以及关于每个描述对要比较的信号对的信息的信息 。 编译信息包括行为级别描述和目标代码之间的映射信息。 逻辑锥提取部分通过参照对应信息和编译信息通过符号模拟从目标代码提取第一逻辑锥。 逻辑锥提取部分从RT级描述中提取第二逻辑锥。 逻辑锥比较部分验证第一和第二逻辑锥之间的等价。

    BEHAVIORAL SYNTHESIS APPARATUS, METHOD, AND PROGRAM HAVING TEST BENCH GENERATION FUNCTION
    9.
    发明申请
    BEHAVIORAL SYNTHESIS APPARATUS, METHOD, AND PROGRAM HAVING TEST BENCH GENERATION FUNCTION 有权
    具有测试台生成功能的行为综合设备,方法和程序

    公开(公告)号:US20080184180A1

    公开(公告)日:2008-07-31

    申请号:US12022573

    申请日:2008-01-30

    IPC分类号: G06F17/50

    CPC分类号: G06F17/505 G06F17/5022

    摘要: Disclosed is a behavioral synthesis apparatus for generating a test bench where the same test vector can be used in both the behavioral simulation and the RTL simulation. The apparatus includes input application/output signal observation timing signal generation means that generates an input application timing signal, an output observation timing signal, and logic circuits for the input application timing signal and the output observation timing signal; and test bench generation means that generates a test bench that observes the signals, applies inputs, and observes outputs.

    摘要翻译: 公开了一种用于产生测试台的行为合成装置,其中可以在行为模拟和RTL模拟中使用相同的测试矢量。 该装置包括输入应用/输出信号观测定时信号产生装置,用于产生输入应用定时信号,输出观测定时信号和用于输入应用定时信号和输出观测定时信号的逻辑电路; 测试台生成手段可以生成观察信号,应用输入和观察输出的测试台。

    Magnetic disk drive operating under a low-pressure environment and controlling the same
    10.
    发明授权
    Magnetic disk drive operating under a low-pressure environment and controlling the same 失效
    磁盘驱动器在低压环境下运行并进行控制

    公开(公告)号:US07079348B2

    公开(公告)日:2006-07-18

    申请号:US10838520

    申请日:2004-05-03

    IPC分类号: G11B5/60

    摘要: A magnetic disk drive has an external environment monitoring function. Data is stored on available disk media while the magnetic disk drive is in an unfavorable environment. Under favorable conditions, the data is then moved to a write-restricted area of the media, which was unavailable while the magnetic disk drive was in the unfavorable environment. The magnetic disk drive uses a temperature sensor/atmospheric pressure sensor as a monitoring device and exercises a function, for example, for reading a reference signal stored in a predetermined area of the medium at predefined intervals. When the external environment is favorable for the magnetic disk drive, the present invention can increase the information storage capacity determined appropriate under the current operating conditions.

    摘要翻译: 磁盘驱动器具有外部环境监控功能。 数据存储在可用的磁盘介质上,而磁盘驱动器处于不利的环境中。 在有利的条件下,数据然后移动到介质的写入限制区域,当磁盘驱动器处于不利的环境中时,该区域不可用。 磁盘驱动器使用温度传感器/大气压力传感器作为监视装置,并且执行例如以预定间隔读取存储在介质的预定区域中的参考信号的功能。 当外部环境有利于磁盘驱动器时,本发明可以增加在当前操作条件下适当确定的信息存储容量。