https://verifycorelabs.com/blog/ What the VerifyCore Labs AI research lab has shown, in plain words. en https://verifycorelabs.com/blog/ai-assistants-half-done-changes/ https://verifycorelabs.com/blog/ai-assistants-half-done-changes/ Sun, 27 Sep 2026 12:00:00 GMT An AI assistant dies halfway through a change to files and a database: what our crash-recovery layer and tool tests show, and what random crashes found. https://verifycorelabs.com/blog/capacitance-flat-models-leave-out/ https://verifycorelabs.com/blog/capacitance-flat-models-leave-out/ Sun, 27 Sep 2026 12:00:00 GMT A flat, two-dimensional model treats each vertical connection in a chip package as an endless cross-section. Three results on what that leaves out. https://verifycorelabs.com/blog/checking-mask-edits-without-resimulating/ https://verifycorelabs.com/blog/checking-mask-edits-without-resimulating/ Sun, 27 Sep 2026 12:00:00 GMT In the lab’s simulator, a tile near a single small edit is signed off when a computed bound on the edit’s effect fits its margin; plus a brightness range for every pixel. https://verifycorelabs.com/blog/ten-results-and-who-they-are-for/ https://verifycorelabs.com/blog/ten-results-and-who-they-are-for/ Sun, 27 Sep 2026 12:00:00 GMT Every result on our home page in one place: the lab’s own plain statement, its figure, what it means for the team that would use it, and what it does not claim.