A Light-Weight Framework for Hardware Verification

机译：轻量级的硬件验证框架

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Christoph Kern; Tarik Ono-tesfaye; Mark R. Greenstreet;
展开▼
作者单位

展开▼
年度 1999
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. A PUF-based unified identity verification framework for secure loT hardware via device authentication [J] . Zhao Huang, Quan Wang World Wide Web . 2020,第2期

机译：基于PUF的统一身份验证框架，用于通过设备身份验证实现安全的loT硬件
2. PyMTL3: A Python Framework for Open-Source Hardware Modeling, Generation, Simulation, and Verification [J] . Jiang Shunning, Pan Peitian, Ou Yanghui, IEEE Micro . 2020,第4期

机译：Pymtl3：用于开源硬件建模，生成，模拟和验证的Python框架
3. Light-weight one-cycle timing error correction based on hardware software co-design [J] . Ding Yong, Li Zhanhui, Meng Jianyi, IEICE Electronics Express . 2016,第11期

机译：基于硬件软件协同设计的轻量一周期定时误差校正
4. A Light-Weight Framework for Hardware Verification [C] . Christoph Kern, Tarik Ono-Tesfaye, Mark R.Greenstreet International conference on tools and algorithms for the construction and analysis of systems . 1999

机译：用于硬件验证的轻重框架
5. Building Verified Hardware and Verified Stacks in HOL [D] . L??w, Andreas. 2019

机译：在HOL中构建已验证的硬件和已验证的堆栈
6. A Light-Weight Practical Framework for Feces Detection and Trait Recognition [O] . Lu Leng, Ziyuan Yang, Cheonshik Kim, 2020

机译：用于粪便检测和特征识别的轻量级实用框架
7. 1 Process Algebra as a Common Framework for Hardware/Software Co-Verification [O] . Matthias Raffelsieper, Student Member, Mohammadreza Mousavi, 2013

机译：1过程代数作为硬件/软件协同验证的通用框架

A Light-Weight Framework for Hardware Verification

著录项

引文网络

相似文献

相关主题

期刊订阅