本发明公开了一种基于内部实体状态转移的数字电路功能建模方法及系统，本发明针对目标数字电路的功能规范进分析提取功能点和内部实体，采用带有功能属性分类的阶段转移模型将功能点的行为流程进行形式化描述，采用拓展有限状态机对电路的内部实体进行形式化描述，从而得到阶段转移模型和拓展有限状态机构成的目标数字电路的功能模型。本发明能够高效完备地描述数字电路中每个功能点的时序特性与多功能点执行的并发特性，适用于数字电路的功能建模，本发明具有形式化、图形化的特点，具有良好的拓展性与适用性，方便在集成电路设计验证过程中尤其是激励自动生成方面进行工程化应用。