GB/T 4855-1984
Abolished
T/EDASQUARE 21-2025
Active
Group standards
The format of the formal verification guidelines for T/EDASQUARE 21-2025
T/EDASQUARE 21-2025 Form Validation Guideline Format。
Price:
$ 20.00
Basic Information
Standard Code:
T/EDASQUARE 21-2025
Standard Type:
Group standards
Standard Status:
Active
is_force_gb:
no
CCS Name:
-
ICS Name:
Integrated circuits, microelectronics
Publish Date:
2025-04-01
Implement Date:
2025-04-01
Scope
Main technical content: This document specifies a unified formal verification guidance technical specification, which is used to describe the circuit transformations that occur during the implementation and optimization of digital circuits, and to accelerate the verification process. This document is applicable to the transmission of guidance information between digital implementation tools and formal verification tools.
Development Information
Related Standards
GB/T 3434-1986
Abolished
GB/T 3434-1986 Families and products of ECL circuits for semiconductor integrated circuits
GB/T 3431.2-1986
Active
GB/T 3431.2-1986 Letter symbols for semiconductor integrated circuits—Letter symbols for function of pins
GB/T 6648-1986
Active
GB/T 6648-1986 Blank detail specification for semiconductor integrated circuit static read/write memories
GB/T 6800-1986
Abolished
GB/T 6800-1986 General principles of measuring methods of audio power amplifiers for semicomductor audio integrated circuits
GB/T 3435-1987
Abolished