Formal verification of an IBM CoreConnect processor local bus arbiter core

机译：多态异构多核处理器的形式验证方法

机译：流程挖掘正式业务流程建模和验证方法：案例研究

机译：建模和验证业务流程协作的正式方法

机译：IBM CoreConnect处理器本地总线仲裁器核心的形式验证

机译：逐行自动验证并行处理器中内存一致性的正式验证

机译：一种使用倾向评分分层法纠正二元测试验证偏差的可靠方法

机译：多核电源管理：通过早期形式验证确保稳健性

机译：众包形式验证：面向以人为本的商业模式的商业案例分析。

机译：带有多个处理核心子系统的片上系统IC开关耦合到网络协议设备，总线桥接器耦合到本地系统总线

机译：具有桥耦合协议的网络处理器片上系统将多处理器宏核心本地总线转换为与系统总线耦合的外围接口

机译：用于集成电路中嵌入式处理器模块核心的处理器本地总线桥