会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 3. 发明专利
    • FUNCTION VERIFICATION UNIT
    • JP2003216683A
    • 2003-07-31
    • JP2002011953
    • 2002-01-21
    • HITACHI LTD
    • TANIMOTO MASAAKIARA HIROMISUZUKI TAKASHIITO MASAKIUCHIBE KONAGI
    • G06F17/50
    • PROBLEM TO BE SOLVED: To provide a function verification generation unit capable of preparing the function verification description to verify function verification items of a circuit to be verified even when a person in charge of verification does not learn HDL or a verification description language other than HDL, a designer who has learned HDL does not learn the verification description language other than HDL, or the function verification description itself described in HDL is not verified, and a description method in which a designer or a person in charge of verification clearly and uniformly describes the verification content of the circuit operation by using a timing diagram. SOLUTION: The function verification description generation unit having a means to input the logical relationship between wave profiles and the generation information of the logical relationship in the timing diameter and a means to generate the verification description from the timing diagram based on the logical relationship between the wave profiles and the generation information of the logical relationship comprises a terminal information extracting unit 1, a timing diagram editing unit 2, a verified operation extracting unit 3, and a verification description generation unit 4. COPYRIGHT: (C)2003,JPO
    • 4. 发明专利
    • STATIC/DYNAMIC TIMING INSPECTING METHOD AND STORING MEDIUM
    • JP2000268080A
    • 2000-09-29
    • JP9055899
    • 1999-03-31
    • HITACHI LTD
    • TANIMOTO MASAAKI
    • G01R31/28G06F9/45G06F17/50
    • PROBLEM TO BE SOLVED: To efficiently execute reliable timing inspection by identifying a counter means in an object circuit and identifying clock information in the object circuit based on information of the identified counter means in static/dynamic timing inspection dividing processing. SOLUTION: The clock information extracting part 11 of a static/dynamic timing inspection dividing part 6 recognizes a clock generation circuit being a counter means consisting of an optional counter in an object circuit, identifies the waveform of a clock generated inside of the generation circuit and outputs object circuit information with clock information and asynchronous flip-flop/ asynchronous latch information to a circuit restriction inspecting part 12. The part 12 defines the clock waveform and outputs asynchronous clock waveform information to a dynamic timing inspection applying part recognizing part 14. The part 14 outputs information on a dynamic timing inspection applying part to a corresponding logical hierarchy recognizing part 15 to automatically recognize clock information.