介绍了一种基于自动机理论的参数化LTL（parameterized LTL（1inear temporal logic），简称PALTL）公式运行时预测监控器构造方法．一方面研究......

针对SoPC系统远程实时更新的实际需要．设计并实现了一种基于Virtex-ⅡProXC2VP30平台的在线动态可重构SoPC系统。该系统应用IRL设计......