-
公开(公告)号：CN102789418A
公开(公告)日：2012-11-21
申请号：CN201210214968.5
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F11/36
Abstract: 本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿真功能需要的功能仿真模型，避免了完全手工开发导致大量错误的可能性；同时，采用本申请的自动生成方法也大大节省了功能仿真模型的开发时间。
-
公开(公告)号：CN102156655A
公开(公告)日：2011-08-17
申请号：CN201110115605.1
申请日：2011-05-05
Applicant: 北京大学深圳研究生院
IPC: G06F9/45
Abstract: 本发明公开了一种高级语言代码产生器及高级语言代码生成方法，通过将输入的EDA设计工具的语法支持情况描述信息和验证或测试策略分别转换为相应的语法配置表和控制约束表，再根据该语法配置表和控制约束表，调用相应的语法库构建语法树，再将该语法树转换为对应的可执行高级语言代码。由于构建的语法树满足语法配置表和控制约束表，保证了生成的高级语言代码的可执行性，并提高了代码的相关性，使得能够更自然地模拟实际算法代码，从而为保证各种EDA设计工具对各种代码描述的转换的正确性提供了优质的测试用例，且该测试用例可执行性良好，进而减轻了人工编写测试代码的压力。
-
公开(公告)号：CN116444350A
公开(公告)日：2023-07-18
申请号：CN202310185611.7
申请日：2023-03-01
Applicant: 北京大学
IPC: C07C39/08 , C07C39/11 , C07C39/15 , C07C39/19 , C07C49/245 , C07C49/835 , C07C47/565 , C07C69/732 , C07C49/83 , A61K31/05 , A61K31/12 , A61K31/216 , A61K31/11 , A61P9/00
Abstract: 本发明提供了干漆提取物中漆酚衍生物在制备抗心肌纤维化的药物中的应用。所述漆酚衍生物其结构通式如式I所示。式I中，R1表示H或‑OH,R2表示C10‑C20的直链烷基,或含有双键、C＝O、COOH、OH中至少一个取代基的C10‑C20的直链烷基，或‑Q‑R4，其中，Q表示C6‑C10的直链烷基，R4表示取代或未取代的苯环,或，‑QCO‑R4，其中，Q表示C6‑C10的直链烷基，R4表示取代或未取代的苯环，或，‑QCOO‑R5，其中，Q表示C6‑C10的直链烷基，R5表示C1‑C6烷基；R3表示H、‑OH、HCO‑、CH3CO‑、CH3CH2CO‑中至少一种。药学活性实验结果表明，所述化合物抑制心肌纤维化活性较好。
-
公开(公告)号：CN102789418B
公开(公告)日：2015-09-30
申请号：CN201210214968.5
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F11/36
Abstract: 本申请公开了一种处理器功能仿真模型生成装置，包括寄存器配置模块、指令集配置模块、输入处理单元生成模块、功能仿真单元生成模块、仿真结果配置模块、仿真结果输出单元生成模块和指令功能库。采用本申请提供的生成装置可自动生成满足仿真功能需要的功能仿真模型，避免了完全手工开发导致大量错误的可能性；同时，采用本申请的自动生成方法也大大节省了功能仿真模型的开发时间。
-
公开(公告)号：CN102788950B
公开(公告)日：2014-10-01
申请号：CN201210214949.2
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F17/50
Abstract: 本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执行结果进行对比，这样可以实现很好的错误定位以缩短对周期精确的设计实现的验证时间。
-
Patent Agency Ranking
公开(公告)号：CN118141920A
公开(公告)日：2024-06-07
申请号：CN202211547930.X
申请日：2022-12-05
Applicant: 北京肿瘤医院(北京大学肿瘤医院)
IPC: A61K45/00 , A61K31/7088 , A61K31/585 , A61P35/00
Abstract: 本发明提供GRP75抑制剂作为用于制备减缓或治疗肿瘤恶病质的药物的用途。该GRP75抑制剂为抑制GRP75活性的核酸抑制剂或小分子化合物。该GRP75核酸抑制剂及小分子化合物可用于制备减缓或治疗肿瘤恶病质脂肪萎缩的药物。其中，本发明中所述的GRP75核酸抑制剂能特异地抑制GPR75在肿瘤细胞中的表达。本发明所提供的GRP75小分子抑制剂可有效阻断GRP75蛋白与下游蛋白结合，使得脂肪细胞脂质积累，抑制脂肪组织萎缩，从而减缓或阻止食管鳞癌恶病质的发生发展。
-
公开(公告)号：CN102789521B
公开(公告)日：2014-10-15
申请号：CN201210215504.6
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F17/50
Abstract: 本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次实时检测各级流水输出的状态值，进而判断是否出现违反断言来验证。一旦流水线模型的设计出错则会出现违反断言的情况，如此则可直接验证与违反断言的流水中模型单元相关的各级流水及模型单元，即直接将出错的地方定位到具体的某级或某些级流水的模型单元中，不需要验证所有的流水线模型中的全部单元，提高了纠错效率。
-
公开(公告)号：CN102156655B
公开(公告)日：2014-04-02
申请号：CN201110115605.1
申请日：2011-05-05
Applicant: 北京大学深圳研究生院
IPC: G06F9/45
Abstract: 本发明公开了一种高级语言代码产生器及高级语言代码生成方法，通过将输入的EDA设计工具的语法支持情况描述信息和验证或测试策略分别转换为相应的语法配置表和控制约束表，再根据该语法配置表和控制约束表，调用相应的语法库构建语法树，再将该语法树转换为对应的可执行高级语言代码。由于构建的语法树满足语法配置表和控制约束表，保证了生成的高级语言代码的可执行性，并提高了代码的相关性，使得能够更自然地模拟实际算法代码，从而为保证各种EDA设计工具对各种代码描述的转换的正确性提供了优质的测试用例，且该测试用例可执行性良好，进而减轻了人工编写测试代码的压力。
-
公开(公告)号：CN102789521A
公开(公告)日：2012-11-21
申请号：CN201210215504.6
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G06F17/50
Abstract: 本申请公开了一种采用流水线模型对集成电路流水线设计进行验证的方法。其首先对流水线模型的完备性和正确性进行验证，流水线模型验证通过后，可来验证集成电路流水线设计。而在该流水线模型的验证中，通过预先设计各级流水状态断言，其次实时检测各级流水输出的状态值，进而判断是否出现违反断言来验证。一旦流水线模型的设计出错则会出现违反断言的情况，如此则可直接验证与违反断言的流水中模型单元相关的各级流水及模型单元，即直接将出错的地方定位到具体的某级或某些级流水的模型单元中，不需要验证所有的流水线模型中的全部单元，提高了纠错效率。
-
公开(公告)号：CN102788950A
公开(公告)日：2012-11-21
申请号：CN201210214949.2
申请日：2012-06-27
Applicant: 北京大学深圳研究生院
IPC: G01R31/28
Abstract: 本申请公开了一种周期精确转换器及其集成电路验证方法和系统，本申请中周期精确转换器将非周期精确的功能参考模型产生的执行结果进行周期标注、填充和排序,得到周期精确的结果。将周期精确转换器的执行结果与周期精确的设计实现输出的执行结果进行对比，这样可以实现很好的错误定位以缩短对周期精确的设计实现的验证时间。
-
-
-
-
-
-
-
-
-
Search Results
13
records
(took 0.026 seconds)
