Assertion based Design(2nd)

1星
2017-06-20
7.18MB
需要1积分
1次下载

文档简介
推荐下载
推荐帖子
用户评论0

标签： Assertion based Design

英文版的Assertion based Design(2nd)

文档内容节选

ASSERTIONBASED DESIGN SECOND EDITION This page intentionally left blank ASSERTIONBASED DESIGN SECOND EDITION Harry Foster Jasper Design Automation Inc Adam Krolnik LSI Logic Corporation David Lacey HewlettPackard Company KLUWER ACADEMIC PUBLISHERS NEW YORK BOSTON DORDRECHT LONDON MOSCOW eBook ISBN Print ISBN 140208028X 1402080271 2005 Springer Science Business Media Inc Print 2004 Kluwer Academic Publishers Boston All rights reserved No part of this eBook may be reproduced or transmitted in any......

展开预览

猜您喜欢

推荐帖子最新更新时间：2024-10-12 05:53

高性能铜合金低成本方案的可行性选择，磷青铜升级，C7025低成本替代: 一般采用C5191、C42500材料做端子，现在有些客户提出用C7025或者类似的材料。强度和导电都明显要提高不少。既要性能保证，又要成本控制，自己查了下，还有一些材料可选，如C42520（导电30%IACS，屈服强度大于600MPa，弹性模量110GPa）、C42230(导电34%IACS，强度大于屈服600MPa、弹性模量126GPa)、C41125(导电30%IACS，屈服; MTconnector 汽车电子

编写更嵌入式软件代码的10个技巧: 代码维护是应用程序开发的重要方面，而为了缩短上市时间，通常会忽略代码维护。对于某些应用程序，这可能不会造成重大问题，因为这些应用程序的寿命很短，或者已部署该应用程序，并且再也不会碰它。但是，嵌入式系统应用程序的使用寿命可能长达数十年，这意味着一些早期的错误可能会在以后导致可观的成本。在开发可能具有长寿命的嵌入式应用程序时，在设计和实现上都必须考虑维护。以下技巧绝不会构成一个完整列表; cdhqyj 编程基础

分享msp430f149程序之LED: #include<msp430x14x.h>char led[8]={0x80,0x40,0x20,0x10,0x08,0x04,0x02,0x01}; void delay() { unsigned int i; for(i=0;i<50000;i++); } void main() { unsigned int k=0; WDTCTL = WDTPW + WD; Jacktang 微控制器 MCU

工程师告诉你如何做PCB设计——【值得收藏】: 1. 目的和作用规范设计作业，提高生产效率和改善产品的质量。 2. 适用范围 XXX公司开发部的VCD、超级VCD、DVD、音响等产品。 3. 责任 XXX开发部的所有; btty038 PCB设计

MSP430在线升级的思考和问题请教！！！: 本帖最后由 darkduck 于 2015-2-9 16:23 编辑背景介绍：我正在做的一个项目要求实现在线升级功能。使用的是MSP430F5438A芯片。我的基本思路是，将FLASH分为启动区，和三个应用代码存放区。启动区位于0x05C00 ~ 0x0FF7F，三个应用代码存放区Block0~2分别位于 0x10000 ~ 0x1FFFF、0x20000 ~ 0x2FFFF和; darkduck 微控制器 MCU

【RISC-V MCU CH32V103测评】+ ADC模拟看门狗: 我们在用ADC的时候有时候会需要监视ADC的值在某范围内,传统轮询处理起来往往不够及时,外围添加两个电压比较器又增加电路成本还要再占2个GPIO,这些,厂商也想到了,就在ADC中集成了一个模拟看门狗, 只要设定上限和下限即可工作,当低于下限或超过上限就会触发中断.添加红框内代码 it.c中添加 void ADC1_2_IRQHandler(; eew_Violet 国产芯片交流

大赛用开发板GD32 -colibri-F350RX相关官方资料汇总: 更新日期：2018-8-16 大赛仍在报名中，点击前往大赛页面了解更多（报名截至到8月26日）以下为兆易创新官方提供、并经过EEWorld资深版主littleshrimp初步审核过的大赛用开发板GD32 -colibri-F350RX相关资料。资源序号资源描述资源下载 1 GD32F350xx数据手册点击下载 2 GD32F3x0用户手册点击下载 3; nmg GD32 MCU

Linux调度策略: 进程可以通过sched_getscheduler（）和sched_setscheduler()来操作Linux调度策略： #include <sched.h> struct sched_param{ int sched_priority; }; int sched_getscheduler(pid_t pid); int sched_setscheduler(pid; chenbingjy Linux与安卓

上传者

: icdesign2020; 查看他的其他资源

举报人：
被举报人：	icdesign2020
举报的资源分：	1
* 类型：
	请您提供公司营业执照和软件相关版权到service@eeworld.com.cn
* 详细原因：

Assertion based Design(2nd)

文档简介

评论