白皮书
Konica Minolta 证明能够利用 Catapult HLS 平台实现 C++ 级别 Signoff
填补高层次综合 (HLS) 设计抽象与验证抽象之间的差距可以进一步提高生产率
我们认识到,填补高层次综合 (HLS) 设计抽象与验证抽象之间的差距可以进一步提高生产率。为了填补差距,西门子在 HLS 流程中加入高层次验证工具与技术,我们一直在评估这些工具和技术,并向 Catapult 团队回馈意见。本文记录了我们采用该高层次验证流程的过程。