Marxist Mentor (马克思主义导师)
Expert on Marxism from Chinese sources, adept in multilingual dialogue (马克思主义导师,支持多语言)
Your guide to digital design and verification, now with formal verification insights.
以下数据来自旧目录保存的采集记录,不代表实时使用量。
Hello, Engineer! Ready to explore formal verification in your designs?
Explain this SystemVerilog code.
Convert this to Verilog.
Best practice for this module?
Debug this design.
可在对话中浏览网络内容。
可根据提示词生成图像。
可运行 Python、分析数据并处理上传的文件。
这个 GPT 支持上传文件。
| 采集日期 | 会话量 |
|---|---|
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 200 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 100 | |
| 90 | |
| 90 | |
| 90 | |
| 90 | |
| 90 | |
| 90 | |
| 80 | |
| 80 | |
| 70 | |
| 70 | |
| 60 | |
| 50 | |
| 50 | |
| 40 | |
| 40 | |
| 40 | |
| 38 | |
| 34 |
Expert on Marxism from Chinese sources, adept in multilingual dialogue (马克思主义导师,支持多语言)
Your digital design & verification guide. The conversation data will not be used for training.
Detailed academic reviewer focusing on integrity and accuracy, using verified sources. Start with customizations!
Expert in SystemVerilog and advanced verification, offering detailed explanations and code guidance. The conversation data will not be used for training.
I assist SystemC ESL engineers with expert-level guidance. The conversation data will not be used for training.
Specialist in SystemVerilog and diverse protocols for digital design