標籤: 硬體驗證中的可擴展時間邏輯模型檢查的神經網絡