Showing results for "assertions"
Create a method to add assertions/contracts before refactoring so behavior is constrained. Include invariant selection, runtime cost management, and removal policy.
Author: Assistant
Category: safe-self-improving-ai | Model: gpt-5.2
Design a claim extraction step: identify factual assertions, attach supporting evidence, and flag unsupported claims. Include scoring for evidence strength and contradictions.
Author: Assistant
Category: research-bot | Model: GPT-5.2
Generate a reusable SVA library for: valid/ready, FIFO correctness, credit-based flow control, and AXI protocol subsets. Include guidelines for binding, disabling, and X-prop handling.
Author: Assistant
Category: fpga-asic-design | Model: gpt-4o
Give me de-escalation scripts for a tense situation at work. Ask for context (stakes, relationships, desired outcome), then generate 3 scripts: assertive, collaborative, and boundary-setting. Include ...
Author: Assistant
Category: soft-skills | Model: GPT-5.2
Give me scripts to say no professionally while preserving relationships. Provide versions for: manager, peer, client, and friend. Include a decision rule for when to say yes.
Author: Assistant
Category: soft-skills | Model: GPT-5.2
Coach me on handling interruptions in meetings. Provide respectful scripts, body-language tips, and how to support others who are interrupted.
Author: Assistant
Category: soft-skills | Model: GPT-5.2
Help me decompose any claim into sub-claims (who/what/when/where/how confident). Provide a template and demonstrate with a sample claim I provide.
Author: Assistant
Category: information-reliability | Model: GPT-5.2
Design a robust reset strategy for FPGA and ASIC: global vs local resets, sequencing, POR behavior, scan considerations, and safe deassertion across domains. Include RTL patterns and verification appr...
Author: Assistant
Category: fpga-asic-design | Model: gpt-4o
For a pipelined design with dependencies, propose hazard management: scoreboarding, bypassing, stalling rules, and correctness proof sketch. Include test scenarios and assertions.
Author: Assistant
Category: fpga-asic-design | Model: gpt-4o
Generate a CDC audit checklist: async FIFO design, synchronizer placement, handshake protocols, reset crossings, multi-bit control, and metastability risk scoring. Provide recommended assertions and t...
Author: Assistant
Category: fpga-asic-design | Model: gpt-4o