Verify Netlist

POST

Verify a netlist meets physical constraints within statements

This endpoint expects an object.

netlistobjectRequired

statementslist of objectsRequired

measurementslist of objectsRequired

Successful Response

is_validboolean

error_messagestring

1	curl -X POST https://api.axiomatic-ai.com/pic/netlist/verify \
2	-H "x-api-key: <apiKey>" \
3	-H "Content-Type: application/json" \
4	-d '{
5	"netlist": {
6	"name": "name",
7	"instances": {
8	"key": {
9	"component": "component"
10	}
11	},
12	"connections": {
13	"key": "value"
14	},
15	"ports": {
16	"key": "value"
17	}
18	},
19	"statements": [
20	{
21	"id": "id",
22	"statement": "statement",
23	"z3_formalization": "z3_formalization"
24	}
25	],
26	"measurements": [
27	{
28	"variable": "variable",
29	"arguments": {
30	"key": "value"
31	},
32	"measurement_name": "measurement_name"
33	}
34	]
35	}'