SystemC电子系统级设计方法在航天电子系统设计中的应用