本书是关于芯片设计验证的介绍
文档内容节选
ADVANCED FORMAL VERIFICATION This page intentionally left blank Advanced Formal Verification Edited by Rolf Drechsler University of Bremen Germany KLUWER ACADEMIC PUBLISHERS NEW YORK BOSTON DORDRECHT LONDON MOSCOW eBook ISBN Print ISBN 1402025300 1402077211 2004 Kluwer Academic Publishers New York Boston Dordrecht London Moscow Print 2004 Kluwer Academic Publishers Dordrecht All rights reserved No part of this eBook may be reproduced or transmitted in any form or by any means electronic mechani......
猜您喜欢
推荐帖子
推荐内容
开源项目推荐 更多
热门活动
热门器件
用户搜过
随便看看
热门下载
热门标签
京公网安备 11010802033920号
Copyright © 2005-2024 EEWORLD.com.cn, Inc. All rights reserved
评论