咨询与建议

限定检索结果

文献类型

  • 47 篇 会议
  • 3 册 图书

馆藏范围

  • 49 篇 电子文献
  • 1 种 纸本馆藏

日期分布

学科分类号

  • 45 篇 工学
    • 43 篇 计算机科学与技术...
    • 15 篇 软件工程
    • 3 篇 电气工程
    • 3 篇 电子科学与技术(可...
    • 3 篇 信息与通信工程
    • 1 篇 冶金工程
    • 1 篇 控制科学与工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 交通运输工程
  • 14 篇 理学
    • 14 篇 数学
  • 4 篇 管理学
    • 3 篇 图书情报与档案管...
    • 2 篇 管理科学与工程(可...

主题

  • 6 篇 model checking
  • 4 篇 computer hardwar...
  • 4 篇 formal verificat...
  • 3 篇 computer hardwar...
  • 3 篇 integrated circu...
  • 2 篇 computer-aided d...
  • 2 篇 iterative method...
  • 2 篇 computational me...
  • 2 篇 very large scale...
  • 2 篇 computer aided d...
  • 2 篇 specifications
  • 2 篇 computers
  • 2 篇 verification
  • 2 篇 congresses.
  • 1 篇 real time system...
  • 1 篇 formal languages
  • 1 篇 reusability
  • 1 篇 program processo...
  • 1 篇 software testing
  • 1 篇 timed automata

机构

  • 2 篇 univ karlsruhe d...
  • 2 篇 computer laborat...
  • 1 篇 university of ro...
  • 1 篇 osaka univ grad ...
  • 1 篇 univ london impe...
  • 1 篇 department of co...
  • 1 篇 computing scienc...
  • 1 篇 united nations u...
  • 1 篇 ecole polytech s...
  • 1 篇 bmw ag d-80788 m...
  • 1 篇 assessment techn...
  • 1 篇 ibm syst gpr aus...
  • 1 篇 haifa university...
  • 1 篇 osaka electrocom...
  • 1 篇 univ karlsruhe i...
  • 1 篇 lim - cmi / univ...
  • 1 篇 fujitsu laborato...
  • 1 篇 fujitsu labs ame...
  • 1 篇 icase nasa langl...
  • 1 篇 xilinx san jose ...

作者

  • 2 篇 emerson e. allen
  • 2 篇 tiziana margaria
  • 2 篇 sharp richard
  • 2 篇 schneider k
  • 2 篇 he ji
  • 2 篇 fujita m
  • 2 篇 mycroft alan
  • 2 篇 turner kenneth j...
  • 1 篇 muñoz césar
  • 1 篇 carreño víctor
  • 1 篇 tom melham (eds....
  • 1 篇 shtrichman ofer
  • 1 篇 tom melham (eds....
  • 1 篇 kitajima a
  • 1 篇 moore j. strothe...
  • 1 篇 geist daniel
  • 1 篇 huibiao zhu
  • 1 篇 ganai malay k.
  • 1 篇 grosse d
  • 1 篇 beyer dirk

语言

  • 48 篇 英文
  • 2 篇 中文
检索条件"任意字段=13th Advanced Research Working Conference on Correct Hardware Design and Verification Methods"
50 条 记 录,以下是1-10 订阅
排序:
correct hardware design and verification methods - 13th IFIP WG 10.5 advanced research working conference, CHARME 2005, Proceedings
收藏 引用
13th IFIP WG 10.5 advanced research working conference on correct hardware design and verification methods, CHARME 2005
the proceedings contain 40 papers. the topics discussed include: verification challenges in configurable processor design with ASIP meister;towards the pervasive verification of automotive systems;finding and fixing f... 详细信息
来源: 评论
11th IFIP WG 10.5 advanced research working conference on correct hardware design and verification methods, CHARME 2001
收藏 引用
11th IFIP WG 10.5 advanced research working conference on correct hardware design and verification methods, CHARME 2001 held jointly with the 14th International conference on theorem Proving in Higher Order Logics, TPHOLs 2009
the proceedings contain 35 papers. the special focus in this conference is on correct hardware design and verification methods. the topics include: hardware synthesis using SAFL and application to processor design;app...
来源: 评论
correct hardware design and verification methods : 11th IFIP WG 10.5 advanced research working Confe
收藏 引用
2001年
作者: CHARME 2001
来源: 内蒙古大学图书馆图书 评论
High-level modelling, analysis, and verification on FPGA-based hardware design
收藏 引用
13th advanced research working conference on correct hardware design and verification methods
作者: Matousek, P Smrcka, A Vojnar, T Brno Univ Technol FIT CZ-61266 Brno Czech Republic
the paper presents high-level modelling and formal analysis and verification on an FPGA-based multigigabit network monitoring system called Scampi. UPPAAL was applied in this work to establish some correctness and thr... 详细信息
来源: 评论
Real-time model checking is really simple
收藏 引用
13th advanced research working conference on correct hardware design and verification methods
作者: Lamport, L Microsoft Research
It is easy to write and verify real-time specifications with existing languages and methods;one just represents time as an ordinary variable and expresses timing requirements with special timer variables. the resultin... 详细信息
来源: 评论
Resolving quartz overloading
收藏 引用
13th advanced research working conference on correct hardware design and verification methods
作者: Pell, O Luk, W Univ London Imperial Coll Sci Technol & Med Dept Comp London SW7 2AZ England
Quartz is a new declarative hardware description language with polymorphism, overloading, higher-order combinators and a relational approach to data flow, supporting formal reasoning for design verification in the sam... 详细信息
来源: 评论
Improvements to the implementation of interpolant-based model checking
收藏 引用
13th advanced research working conference on correct hardware design and verification methods
作者: Marques-Silva, J Univ Tecn Lisboa Inst Super Tecn INESC ID P-1096 Lisbon Portugal
the evolution of SAT technology over the last decade has motivated its application in model checking, initially through the utilization of SAT in bounded model checking (BMC) and, more recently, in unbounded model che... 详细信息
来源: 评论
Behavior-RTL equivalence checking based on data transfer analysis with virtual controllers and datapaths
收藏 引用
13th advanced research working conference on correct hardware design and verification methods
作者: Fujita, M Univ Tokyo VLSI Design & Educ Ctr Bunkyo Ku Tokyo 1130032 Japan
A behavior-RTL equivalence checking method based on bottom-up reasoning is presented. Behavior and RTL descriptions are converted into dependence graphs from which virtual controllers/datapaths are generated. Actual e... 详细信息
来源: 评论
Acceleration of SAT-based iterative property checking
收藏 引用
13th advanced research working conference on correct hardware design and verification methods
作者: Grosse, D Drechsler, R Univ Bremen Inst Comp Sci D-28359 Bremen Germany
Formal property checking is used to check whether a circuit satisfies a temporal property or not. An important goal during the development of properties is the formulation of general proofs. Since assumptions of prope... 详细信息
来源: 评论
correct hardware design and verification methods  2005
收藏 引用
丛书名: Lecture Notes in Computer Science
2005年
作者: Dominique Borrione Wolfgang Paul
来源: 评论