@JrMaret@BNzulama@MoneyRadar_FR TSMC ce n'est pas gratuit. Ça coûte des milliards de dollars une commander chez TSMC. Sauf si tu veux dire, revendre ton RTL/Design à une autre boîte. Mais dans ce cas là, ça n'a pas d'intérêt pour Mistral.
@Din97625@Emmomotus Mdr puis tu passes devant l'équipe d'ingénieur qui te pose des questions pointues, et devant l'entreprise de vérification d'antécédents qui vérifie tes diplômes...
@mlipman13@jakub864@Cswagdaddy47@afaris1978@AlwaysUhhJustin@pli_cachete Then, if I ask you:
I have two children, (at least) one of whom is a boy born on a Tuesday - what is the probability that one child is a boy, and one child is a boy or a girl.
With your method you don't get 1 (rs expected).
@pierre_jacquel2 Les définitions données en info distribué sont légèrement fausses. Par exemple, on dit qu'une propriété P est une propriété liveness, si pour toute exécution finie, il existe une extension dans P. Ainsi, une exécution peut être infini. :)
Safety (s a un prefix dans P/limit-close)
@BendiBendo_ Il y a peut-être quelque chose que j'ai mal compris, mais on peut généraliser la fonction binomiale au réel en utilisant la fonction gamma, non ?