杭州电子科技大学图书馆书目检索系统

Online Public Access Catalogue

题名/责任者:

航天型号可编程逻辑器件软件验证技术与实践/祝宇, 董冠涛, 刘伟编著

出版发行项:

北京:中国宇航出版社,2019

ISBN及定价:

978-7-5159-1713-9/CNY68.00

载体形态项:

209页:图;26cm

个人责任者:

祝宇 编著

个人责任者:

董冠涛 编著

个人责任者:

刘伟 编著

学科主题:

航天-可编程序逻辑阵列-应用软件工程

中图法分类号:

V4-39

书目附注:

有书目

提要文摘附注:

本书依据GJB9433-2018《军用可编程逻辑器件软件测试要求》, 对可编程逻辑器件软件的开发要求、验证要求、验证流程及验证技术进行说明, 并通过验证实践, 进一步阐明可编程逻辑器件软件验证过程控制、验证技术要求及验证问题处理。同时根据多年的可编程逻辑器件软件验证经验, 总结出了VHDL/Verilog编码要求、安全可靠性设计方法、时序约束及优化和典型问题分析。

豆瓣简介：