1. An adjustable base containment system comprising a first cylinder, a platform having protrusions, and a second cylinder having one or more slit opening along its length, said platform is positioned within said first cylinder, said slit opening of said second cylinder is sleeved over said protrusion of said platform whereby said second cylinder is nested between said platform and said first cylinder, said platform is interconnected to said first cylinder by matching reverse threading at the contacting surfaces of said protrusion and said first cylinder, the position of said platform within said container may be raised or lowered by clockwise or counterclockwise rotation of said second cylinder causing said platform to move against said first cylinder along their threaded connection.
2. An adjustable base container comprising:
A hollow container, a platform and a key element,
said hollow container comprising a first surrounding wall and a hollow internal space therein, said first surrounding wall having an internal surface and external surface, said internal surface being threaded lengthwise,
said key element comprising a second surrounding wall, said second surrounding wall fitting within said first surrounding wall, said second surrounding wall having an internal surface and external surface, said external surface of said second surrounding wall facing said internal surface of said first surrounding wall, said internal surface of said second surrounding wall facing said hollow internal space, said second surrounding wall having one or more slit openings along its length,
said platform having a top and bottom surface, a central space and a rim edge, the diameter of said central space being equal to or less than the cross sectional space of the hollow internal space within the second surrounding wall, said platform having a rim edge at its furthest edge in contact with the first and second surrounding wall, said platform further having protrusions extending laterally from its rim edge, said rim edge having a surrounding side surface perpendicular to said top surface of said platform, said surrounding side surface at the location of said protrusion being threaded lengthwise matching said threading of said first surrounding wall in an interconnecting manner.
3. An adjustable base container of claim 2 comprising:
A hollow container, a platform and a key element,
said hollow container comprising a first surrounding wall, said first surrounding wall being cylindrical in form, and a hollow internal space therein, said first surrounding wall having an internal surface and external surface, said internal surface being threaded lengthwise, said key element comprising a second surrounding wall, said second surrounding wall being cylindrical in form, said second surrounding wall having an internal surface and external surface, said second surrounding wall fitting within said first surrounding wall, said external surface of said second surrounding facing said internal surface of said first surrounding wall, said internal surface of said second surrounding wall facing said hollow internal space, said second surrounding wall having one or more slit openings along its length,
said platform having a top and bottom surface, a central space and a rim edge, the diameter of said central space being equal to or less than the cross sectional space of the hollow internal space within the second surrounding wall, said platform having a rim edge at its furthest edge in contact with the first and second surrounding wall, said platform further having protrusions extending laterally from its rim edge, said rim edge having a surrounding side surface perpendicular to said top surface of said platform, said surrounding side surface at the location of said protrusion being threaded lengthwise matching said threading of said first surrounding wall in an interconnecting manner.
4. Said central space of said platform of claim 2 comprising a planar piece of material.
5. Said central space of said platform of claim 2 comprising solid and or mesh material.
6. Said central space of said platform of claim 2 comprising a planar piece of material, said planar material having slicing element there through.
7. Said central space of said platform of claim 2 having a non planar shape.
8. Said central space of said platform of claim 2 comprising a solid material with perforation.
9. Said first surrounding wall of claim 2 comprising two lateral halves interconnected by hinges and or latches such that when said halves are interconnected, a hollow container with side enclosures is formed.
10. Said second surrounding wall of claim 2 comprising two lateral halves interconnected by hinges and or latches such that when said halves are interconnected, a hollow container with side enclosures is formed.
11. A method of adjusting a platform within a hollow container comprising:
A hollow container, a platform and a key element,
said hollow container comprising a first cylinder wall and a hollow internal space therein, said first cylinder wall having an internal surface and external surface, said internal surface being threaded lengthwise,
said key element comprising a second cylinder wall, said second cylinder wall having an internal surface and external surface, said second cylinder wall fitting within said first cylinder wall, said external surface of said second cylinder facing said internal surface of said first cylinder, said internal surface of said second cylinder wall facing said hollow internal space, said second cylinder wall having one or more slit openings along its length,
said platform having a top and bottom surface, a central space and a rim edge, the diameter of said central space being equal to or less than the cross sectional space of the hollow internal space within the second cylinder wall, said platform having a rim edge at its furthest edge in contact with the first and second cylinder wall, said platform further having protrusions extending laterally from its rim edge, said rim edge having a surrounding side surface perpendicular to said top surface of said platform, said surrounding side surface at the location of said protrusion being threaded lengthwise matching said threading of said first cylinder wall in an interconnecting manner,
a method of adjusting said platform within said container whereby said second cylinder wall of said key element is rotated clockwise or counterclockwise along its cross sectional plane, causing said slit opening to move in the rotating direction of said second cylinder wall, further causing said protrusion which is sleeved through said slit opening to move in the rotating direction of said second cylinder wall, such that said platform is raised or lowered within the hollow internal space by movement of said protrusion along the length of said slit opening and by travel of said protrusion along its threaded connection with said first cylinder wall.
12. An adjustable base containment system of claim 1 further comprising a control element externally accessible from the cross sectional surface of said second cylinder, said control element comprising a recessed or hidden leverage point accessible by a user’s finger to achieve a rotational dialing motion of said second cylinder wall.
The claims below are in addition to those above.
All refrences to claim(s) which appear below refer to the numbering after this setence.
1. A method, in a data processing system, for simplifying a netlist before computational resources are exceeded, the method comprising:
for each of a set of suspected equivalences in a proof graph of a netlist, determining, by a processor, whether equivalence holds for at least one of an equivalence or an equivalence class by identifying whether the equivalence or equivalence class is either affecting or non-affecting;
responsive to the equivalence or equivalence class being affecting, recording, by the processor, a proof dependency as an edge in a proof graph;
for each node in the proof graph, determining, by the processor, whether the node has a falsified dependency;
responsive to the node failing to have a falsified dependency, identifying, by the processor, that all dependencies are satisfied and that the equivalences represented by the node in the proof graph are sequential equivalences; and
simplifying, by the processor, the netlist by consuming the sequential equivalences.
2. The method of claim 1, further comprising:
responsive to the equivalence or equivalence class being non-affecting, removing, by the processor, the equivalence from a set of equivalences or the equivalence class from a set of equivalence classes.
3. The method of claim 1, further comprising:
removing, by the processor, the redundant equivalence or equivalence class from future consideration during processing of the netlist.
4. The method of claim 1, wherein by removing the equivalence from the set of equivalences or the equivalence class from the set of equivalence classes removes the equivalence or equivalence class from future consideration during processing of the netlist.
5. The method of claim 1, wherein the proof graph is generated by the method comprising:
receiving, by the processor, input that identifies the netlist to be validated and at least one of a set of equivalences or a set of equivalence classes;
building, by the processor, the proof graph without any edges and with at least two of a node for each equivalence in the set of equivalences or a node for each equivalence class in the set of equivalence classes;
performing, by the processor, speculative reduction on an unrolled version of the netlist, wherein the speculative reduction asserts suspected equivalences in the set of equivalences or in the set of equivalence classes; and
identifying, by the processor, structural dependencies for between each of the at least two nodes, wherein each identified structural dependency is recorded as an edge in the proof graph.
6. The method of claim 1, further comprising:
determining, by the processor, whether the node in the proof graph has already been tested;
responsive to the node failing to have been previously tested, for each other node in a set of other nodes that has an incident edge coming from the node, determining, by the processor, whether the other node has a path to a falsified node; and
responsive to the other node having a path to a falsified node, marking, by the processor, the other node as non-testable, wherein marking the other node as non-testable reduces the number of tests that need to be performed and decreases testing time.
7. The method of claim 1, wherein the determination as to whether the node has the falsified dependency is performed by the method comprising:
determining, by the processor, whether the node is satisfied without constraints in a list of constraints;
responsive to the SAT problem being satisfied without constraints, fixing, by the processor, a set of variable assignments determined in satisfying the node without constraints;
for each constraint in the list of constraints, determining, by the processor, whether the node with the constraint results in the set of variable assignments remain constant;
responsive to the node with the constraint resulting in the set of variable assignments remaining constant, adding, by the processor, the constraint to a list of non-affecting constraints; and
returning, by the processor, a satisfied result.
8. The method of claim 7, further comprising:
responsive to the node with the constraint resulting in the set of variable assignments changing, adding, by the processor, the constraint to a list of affecting constraints;
determining, by the processor, whether the node is satisfiable with the constraint being applied;
responsive to the node being satisfied with the constraint, fixing, by the processor, a new set of variable assignments determined in satisfying the node with the constraint; and
for each remaining constraint in the list of constraints, continuing with determining, by the processor, whether the node with the constraint results in the new set of variable assignments remain constant, change, or are inconclusive.
9. The method of claim 7, further comprising:
responsive to the node with the constraint resulting in the set of variable assignments timing out, returning, by the processor, an inconclusive result, wherein the inconclusive result indicates adding constraints will not make the node conclusive.
10. The method of claim 7, further comprising:
responsive to the node without any constraint being unsatisfied, returning, by the processor, a unsatisfied result, wherein the unsatisfiable result indicates that adding constraints to the node will not affect the unsatisfiability of the node; and
responsive to the node without any constraint being inconclusive, returning, by the processor, an inconclusive result, wherein the inconclusive result indicates adding constraints will not make the node conclusive.
11-22. (canceled)