Abstract: The present disclosure relates to a computer-implemented method for electronic design verification. Embodiments may include providing an electronic design including, at least in part, one or more hardware description languages and one or more software programming languages. Embodiments may further include calculating configuration information without analyzing the electronic design, wherein the configuration information includes one or more memory elements configured to control a mode of operation of the electronic design. Embodiments may also include determining a change in the one or more memory elements and altering a function associated with the electronic design verification based upon, at least in part, the determined change.

Abstract: The present disclosure relates to a computer-implemented method for electronic design verification. Embodiments may include providing, using one or more processors, an electronic design verification environment having a plurality of randomize calls associated therewith. Embodiments can also include selecting one of the plurality of randomize calls for analysis at a constraint solver engine and iteratively analyzing the selected randomize call using a plurality of constraint solver algorithms. Embodiments can also include automatically determining a most effective constraint solver algorithm for the selected randomize call.

Abstract: The present disclosure relates to a computer-implemented method for electronic design simulation. The method may include providing, using at least one computing device, an electronic design. The method may also include associating, using the at least one computing device, an identifier with each constraint solver call utilized in a simulation of the electronic design. The method may also include generating, using the at least one computing device, an application programming interface configured to allow a user to navigate through electronic design simulation results based upon, at least in part, the identifier associated with each constraint solver call.

Abstract: The present disclosure relates to a computer-implemented method for electronic design verification. Embodiments may include providing an electronic design including, at least in part, one or more hardware description languages and one or more software programming languages. Embodiment may also include calculating, using one or more processors, configuration information without analyzing the electronic design, wherein the configuration information includes one or more memory elements configured to control a mode of operation of the electronic design. Embodiments may further include storing a seed for each configuration, wherein each seed may be configured to cause a constraint solver to set a defined set of values for one or more random variables in a class associated with the seed.

Abstract: A method and apparatus for use by a buyer for a store includes a software application computer that is provided to the buyer at a buyer show. The application displays product features and pricing information and receives product order information from the buyer. The application displays information regarding sales of the products by the store. After completing an order, the application submits the order, and prints or transmits confirmation copies. The buyer leaves the computer at the show prior to departing. A virtual shopping cart is displayed on the computer into which goods are placed prior to submittal of the order. Multiple shopping carts can be opened by the user with differing shipping priorities and different shipping destinations for each cart. Multiple shopping carts can be used while the user is browsing an on-line catalog of products to be ordered.

Abstract: The present disclosure relates to a computer-implemented method for electronic design simulation. The method may include providing, using at least one computing device, an electronic design and associating, using the at least one computing device, one or more identifiers with each constraint solver call utilized in a simulation of the electronic design. The method may further include automatically generating, using the at least one computing device, a coverage model for one of more constraints associated with the electronic design, the coverage model being based upon, at least in part, the one or more identifiers.

Abstract: A method and apparatus for use by a buyer for a store includes a software application computer that is provided to the buyer at a buyer show. The application displays product features and pricing information and receives product order information from the buyer. The application displays information regarding sales of the products by the store. After completing an order, the application submits the order, and prints or transmits confirmation copies. The buyer leaves the computer at the show prior to departing. A virtual shopping cart is displayed on the computer into which goods are placed prior to submittal of the order. Multiple shopping carts can be opened by the user with differing shipping priorities and different shipping destinations for each cart. Multiple shopping carts can be used while the user is browsing an on-line catalog of products to be ordered.

Abstract: A method and apparatus for use by a buyer for a store includes a software application computer that is provided to the buyer at a buyer show. The application displays product features and pricing information and receives product order information from the buyer. The application displays information regarding sales of the products by the store. After completing an order, the application submits the order, and prints or transmits confirmation copies. The buyer leaves the computer the show prior to departing. A virtual shopping cart is displayed on the computer into which goods are placed prior to submittal of the order. Multiple shopping carts can be opened by the user with differing shipping priorities and different shipping destinations for each cart. Multiple shopping carts can be used while the user is browsing an on-line catalog of products to be ordered.