I think formal methods are all using some kind of discrete logic. Implementing physics with these things sounds really, really, hard. I guess designing your m

I think formal methods are all using some kind of discrete logic. Implementing physics with these things sounds really, really, hard. I guess designing your model would require feedback from layout and fabrication techniques, and it would suffer this same maintenance burden. Once you have the simulation, it would take ages of computation power (much more than functional RTL simulations do). I think this is the kind of thing that might happen in 2050 but for now it just sounds infeasible.